$V2EX
Solana
Give SOL to Copy Address
使用 SOL 向 GeruzoniAnsasu 打赏,数额会 100% 进入 GeruzoniAnsasu 的钱包。
 GeruzoniAnsasu 最近的时间轴更新
GeruzoniAnsasu's repos on GitHub
C++ · 108 人关注
foo_input_ncm
A foobar2000 component which allows you to load and play ncm files directly.
C++ · 4 人关注
basecjk
map all bytes to CJK characters, working like BASE64
JavaScript · 2 人关注
drama-bt-crawler
single file crawler to fetch magnet links for my favorite drama(s)
C++ · 1 人关注
Project-Damocles
The Project Damocles
1 人关注
vsc_extension_ragel
Syntax highlighting, snippets support for Ragel State Machine Compiler
C++ · 0 人关注
2016problems
C++ · 0 人关注
ADVobfuscator
Obfuscation library based on C++11/14 and metaprogramming
Java · 0 人关注
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Java · 0 人关注
Apktool
A tool for reverse engineering Android apk files
0 人关注
BotBaka
BotBaka
Go · 0 人关注
city-geo
经纬度数据
0 人关注
datatypes
GORM Customized Data Types Collection
C++ · 0 人关注
drogon
Drogon: A C++14/17 based HTTP web application framework running on Linux/macOS/Unix
Python · 0 人关注
foobar2000_sdk
automatically updated mirror of fb2k sdk
Objective-C++ · 0 人关注
foo_out_avfoundation
A foobar2000 output component which can enable airpods spatialized stereo by adapting to AVFoundation
0 人关注
GeoJsons
行政区划GeoJSON
0 人关注
gin
Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.
Go · 0 人关注
gin-vue-admin
基于vite+vue3+gin搭建的开发基础平台(已完成setup语法糖版本),集成jwt鉴权,权限管理,动态路由,显隐可控组件,分页封装,多点登录拦截,资源权限,上传下载,代码生成器,表单生成器等开发必备功能,五分钟一套CURD前后端代码。
C++ · 0 人关注
glAES
an attempt of gpgpu implement aes
Go · 0 人关注
gormigrate
Minimalistic database migration helper for Gorm ORM
Kotlin · 0 人关注
intellij-rainbow-brackets
Rainbow Brackets / Rainbow Parentheses for IntelliJ IDEA based IDEs
0 人关注
ipwndfu
open-source jailbreaking tool for many iOS devices
Python · 0 人关注
musicbox
网易云音乐命令行版本
C++ · 0 人关注
ncmdump
netease cloud music copyright protection file dump
C++ · 0 人关注
opencv
Open Source Computer Vision Library
C · 0 人关注
os
0 人关注
playground
GORM Playground (Please Create PR for this project to report issues)
0 人关注
pnck.github.io
github pages deployer
Python · 0 人关注
PyExfil
A Python Package for Data Exfiltration
Lua · 0 人关注
safeline-open-platform
Rust · 0 人关注
shadowsocks-rust
A Rust port of shadowsocks
0 人关注
shadowsocks-server-k8s
ShadowSocks Rust K8s
C++ · 0 人关注
simdjson
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
C++ · 0 人关注
SimpleHttpsClient
A simple HTTPS client based on Boost Asio.
C · 0 人关注
sublime2-fcitx-fix
通过启动sublime text 2时指定LD_PRELOAD来修复ubuntu 13.04中sublime text 2不支持fcitx中文输入法的问题。
Shell · 0 人关注
termux-sudo
A bash script that provides sudo for Termux
0 人关注
umami
Umami is a simple, fast, privacy-focused alternative to Google Analytics.
VimL · 0 人关注
vim
vim配置文件和插件
0 人关注
webui-aria2
fork from ziahamza/webui-aria2
Python · 0 人关注
Wox-Dash-Zeal
Wox plugin for Zeal
0 人关注
yanshi
A regular language recognizer generater like Ragel, enhanced with features to approximate context-free grammars and substring grammars
Python · 0 人关注
zio
unified io lib for pwning development written in python
GeruzoniAnsasu
1.06D
0.91D

GeruzoniAnsasu

V2EX 第 153649 号会员,加入于 2015-12-31 11:52:50 +08:00
今日活跃度排名 3105
11 G 33 S 84 B
根据 GeruzoniAnsasu 的设置,主题列表只有在你登录之后才可查看
二手交易 相关的信息,包括已关闭的交易,不会被隐藏
GeruzoniAnsasu 最近回复了
挺好的,本来还想说这在 pc 上都是 imagemagick 一条命令完成的事,看了下介绍发现还是有不少端上的场景确实是我没想到的。

如果可以的话兑换码可以尝试发我主页留的 tg bot (好久没用了,刚好测测还能不能 work🤓)
13 小时 34 分钟前
回复了 Nivdc 创建的主题 分享发现 可逆计算理论:(可能是)下一代软件构造理论
@Nivdc 推广就直说。 现在大家的评论之所以停留在逻辑层面是想尽可能不误伤涉及的项目,万一真仔细看了项目到时候可能就要开喷了。


另「系统版本」原本应该是个 Abastraction. 任何迭代都会发生版本变更,你可以声称某个理论「不解决版本号第一位数字增加了 1 的情况」,只解决「系统开发过程的演变的问题」。但从抽象上来看这两者完全等价。

之所以要问有没有写过跨版本适配代码,因为这是最容易理解「所谓的可逆计算」的范式: 你在现有 migration 的基础上增加一些 migration ,在现有的 service 结构上增加一些 adaptor ,可能是新适配旧也可能是旧适配新 —— 但无怎样它们在软件工程/真实世界的表现形式都只会是「增加一大坨本可以(如果不保持兼容性的话)不要的代码和层」。 数学上等价于一个工程实现完全不代表工程实现能重现数学形式的优雅。
14 小时 33 分钟前
回复了 Nivdc 创建的主题 分享发现 可逆计算理论:(可能是)下一代软件构造理论
Δ不遵循交换律和结合率。

所以 X+ΔY 不等价于 X-(-ΔY)。
实际情况不可能是从 X 里「删减」得到 Y ,而是必须引入了大量的适配层,「增加」大量非必要的代码才能得到 Y 。



OP 没写过版本迁移适配代码吗?
> 对 A 股最大的误解:A 股是垃圾市场、割韭菜市场 ❌
> 沪深 300 这三年是赚钱的。 ✅
2 天前
回复了 Livid 创建的主题 站点状态 20260110 - /node/create
挺有意思,也是一种 proof of stake 是吧,$v2ex 质押管理权。
2 天前
回复了 muluc 创建的主题 游戏 底特律:变人 是未来还是游戏
> 人类的过去历史是可能性的随机坍缩,未来历史是想象力的路径积分。
5 天前
回复了 shrimpDumpling 创建的主题 生活 为人父母不需要考试
成长到父母的年龄自然能「理解」父母。


你应该不会仇恨一个素不相识的、哪怕他认知再低能力再弱的人;所以也没必要恨「原生家庭」: 傻逼见多了,原来我的父母真是傻逼,那还能怎么办,他都这样了,啊对对对就完事了
5 天前
回复了 wingtao 创建的主题 程序员 Spec,真的能解决 AI Coding 的问题吗?
spec 本质就是逐条检查的清单,用来把难以控制的 AI 自由发挥细化为逐字逐行的约束和回归项。

在这个前提下却还在讲「一次性完成」,在我来看根本就是匪夷所思的,好比老中制定了「 10 个 5 年计划但是细节不看总之 make china great again 就完事了」。


spec 的正确用法就是让人类工程师能逐指令逐步骤地跟踪 AI 的产出使其符合设计目标。 我目前的工作范式:

1. 让 LLM 写 spec
2. 让 LLM 分析项目状态指出 spec 有没有不足之处
3. 人工介入,把 spec 和预达成目标缩减/补充至可行范围,同时确保每个 step 都有足够的逻辑骨架来 check (比如第一步实现业务的数据模型,第二步根据模型实现 DAO ,第三步用 DAO 拼接业务逻辑,第四步调整中间件…………)
4. 让 LLM 给出可重入的 prompt ,每个 step 在单独会话中实现,但要求把增改记录都同步回 spec/设计文档中
5. 反复重试直至达到设计预期
6. 根据刚才的实现步骤重读 spec 并补充细节
7. 循环 => 2



p.s. 这个工作范式只能搭配 claude 的模型,codex 和 gemini 都跟不上,因为它们的抽象思维太弱,无法理解「分析」具体对应到哪些工作,产出不了 reasonable feedback
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   1008 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 18ms · UTC 22:42 · PVG 06:42 · LAX 14:42 · JFK 17:42
♥ Do have faith in what you're doing.