Skip to content

Instantly share code, notes, and snippets.

// 每件物品的有重量(weight)和价值(value)
type item = { weight: int; value: int }
let item_weight item = item.weight
let item_value item = item.value
// 背包dp问题:给定一个物品列表,和一个背包的容量。从中选出若干件物品,使得物品的总重量不超过背包的容量,且物品的总价值最大。
type solution = item list * int -> item list
module SimpleCombination =
// 用物品列表表示一个物品组合
@choco-bot
choco-bot / FilesSnapshot.xml
Created April 22, 2025 13:40
TestDriven.Net v3.9.2905 - Failed - Package Tests Results
<?xml version="1.0" encoding="utf-8"?>
<fileSnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<files>
<file path="C:\ProgramData\chocolatey\lib\TestDriven.Net\TestDriven.Net.nupkg" checksum="BDC675473B91449FF884E78AD46B9B28" />
<file path="C:\ProgramData\chocolatey\lib\TestDriven.Net\testdriven.net.nuspec" checksum="20AFF76C7BB82CDE1129142E8087B38C" />
<file path="C:\ProgramData\chocolatey\lib\TestDriven.Net\tools\ChocolateyInstall.ps1" checksum="5ED56783157E6B3167B56EBBFCDAB3EB" />
</files>
</fileSnapshot>
@320230
320230 / gist:f3c9b3bd27bb8f41e908ed0e35ebd5e1
Created April 22, 2025 13:40
华纳客服联系方式【386968.com【微信qweyubn】 第一财经!
东南亚法赌场诚信第一
pg电子综合游戏官方网址:(376967.com)
华纳真人版官方网址:(www.tl10183.com)
腾龙真人版官方网址: (386968.com)
综合电子游戏官方网址: (mm1387.com)
@320230
320230 / gist:bda6bfc25a10d6b0d291b326c8e2c453
Created April 22, 2025 13:40
华纳上下分如何咨询【386968.com【微信qweyubn】 第一财经!
东南亚法赌场诚信第一
pg电子综合游戏官方网址:(376967.com)
华纳真人版官方网址:(www.tl10183.com)
腾龙真人版官方网址: (386968.com)
综合电子游戏官方网址: (mm1387.com)
@choco-bot
choco-bot / Install.txt
Created April 22, 2025 13:40
WinBOLT v3.2 - Failed - Package Tests Results
2025-04-22 13:39:36,185 428 [DEBUG] - XmlConfiguration is now operational
2025-04-22 13:39:36,387 428 [DEBUG] - Adding new type 'CygwinService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2025-04-22 13:39:36,387 428 [DEBUG] - Adding new type 'CygwinService' for type 'IInstallSourceRunner' from assembly 'choco'
2025-04-22 13:39:36,404 428 [DEBUG] - Adding new type 'PythonService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2025-04-22 13:39:36,404 428 [DEBUG] - Adding new type 'PythonService' for type 'IListSourceRunner' from assembly 'choco'
2025-04-22 13:39:36,404 428 [DEBUG] - Adding new type 'PythonService' for type 'IInstallSourceRunner' from assembly 'choco'
2025-04-22 13:39:36,418 428 [DEBUG] - Adding new type 'PythonService' for type 'IUninstallSourceRunner' from assembly 'choco'
2025-04-22 13:39:36,418 428 [DEBUG] - Adding new type 'RubyGemsService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2025-04-22 13:39:36,434 428 [DEBUG] - Adding new type 'RubyGe
@320230
320230 / gist:556d35dcf67176b2cfdcb8af360092d2
Created April 22, 2025 13:39
华纳如何申请会员账号【386968.com【微信qweyubn】 第一财经!
东南亚法赌场诚信第一
pg电子综合游戏官方网址:(376967.com)
华纳真人版官方网址:(www.tl10183.com)
腾龙真人版官方网址: (386968.com)
综合电子游戏官方网址: (mm1387.com)
@HugsLibRecordKeeper
HugsLibRecordKeeper / output_log.txt
Created April 22, 2025 13:39
Rimworld output log published using HugsLib
Log uploaded on Tuesday, April 22, 2025, 9:39:28 PM
Loaded mods:
Prepatcher(zetrith.prepatcher): 0Harmony(2.3.3), 0PrepatcherAPI(1.2.0), 0PrepatcherDataAssembly(1.0.0), PrepatcherImpl(1.0.0), Prestarter(1.0.0)
Harmony(brrainz.harmony)[mv:2.3.1.0]: 0Harmony(2.3.3), HarmonyMod(2.3.1)
Core(Ludeon.RimWorld): (no assemblies)
Royalty(Ludeon.RimWorld.Royalty): (no assemblies)
Ideology(Ludeon.RimWorld.Ideology): (no assemblies)
Biotech(Ludeon.RimWorld.Biotech): (no assemblies)
Anomaly(Ludeon.RimWorld.Anomaly): (no assemblies)
Multiplayer(rwmt.Multiplayer): 0MultiplayerAPI(av:0.5.0,fv:0.5.0), 0PrepatcherAPI(1.2.0), LiteNetLib(1.0.0), MultiplayerLoader(1.0.0), RestSharp(av:106.12.0,fv:106.12.0), System.IO.Compression(av:4.1.2,fv:4.6.24705.1), Multiplayer(0.10.5 [no FileVersionInfo]), MultiplayerCommon(1.0.0 [no FileVersionInfo])
@320230
320230 / gist:fe64d1566d60cea74f16c58536003e5b
Created April 22, 2025 13:39
华纳如何联系开户【386968.com【微信qweyubn】 第一财经!
东南亚法赌场诚信第一
pg电子综合游戏官方网址:(376967.com)
华纳真人版官方网址:(www.tl10183.com)
腾龙真人版官方网址: (386968.com)
综合电子游戏官方网址: (mm1387.com)
@choco-bot
choco-bot / FilesSnapshot.xml
Created April 22, 2025 13:39
markdownpad.portable v2.5.0.27920 - Failed - Package Tests Results
<?xml version="1.0" encoding="utf-8"?>
<fileSnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<files>
<file path="C:\ProgramData\chocolatey\lib\markdownpad.portable\markdownpad.portable.nupkg" checksum="53B5BB24C64877394439E1B6696867EE" />
<file path="C:\ProgramData\chocolatey\lib\markdownpad.portable\markdownpad.portable.nuspec" checksum="2D76EF8E0BC0316BBE8E8C7A9BF8B483" />
<file path="C:\ProgramData\chocolatey\lib\markdownpad.portable\tools\chocolateyinstall.ps1" checksum="9BC46757824AA844B697E4E1BFA225B5" />
<file path="C:\ProgramData\chocolatey\lib\markdownpad.portable\tools\chocolateyuninstall.ps1" checksum="A7028FD7D302F48DEBF83FBA40079557" />
</files>
</fileSnapshot>
> var config = rs.config()
> config.members[0].host = "localhost:27017"
> rs.reconfig(config)