返回首页
最新
I'm a PhD Engineer in Aviation. I built this because I was tired of technicians "passively" watching training videos without focus. Trainivio forces a replay of video segments if a question is answered incorrectly. Looking for feedback from the HN community
2
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results:<p>Structural SSOT is achievable only when a language provides definition-time hooks and runtime introspection. Macros/codegen (before definition) and reflection (after definition) are insufficient.
These requirements are derived, not chosen: because structural facts are fixed at definition, derivation must occur at definition time and be introspectable to verify DOF = 1.<p>Would appreciate review, critique, or independent checking of the Lean scripts.
Runs local browser instances of Meta's SAM Audio playground so you can isolate vocals/drums from audio of any length without running SAM locally or hosting inference.<p>- Audio >29s is chunked with ffmpeg<p>- Audio chunks and prompts are submitted in parallel to the playground via Playwright<p>- Web UI for storing tracks and re-editing previous outputs<p>Demo video: <a href="https://github.com/user-attachments/assets/d5d3b53d-6ac9-40fc-9776-1afc7efbe4f4" rel="nofollow">https://github.com/user-attachments/assets/d5d3b53d-6ac9-40f...</a>
I'm a final-year student from Malaysia.<p>Been spending some time reading up on Fraud in Fintech.<p>Would love feedback on what I've learned, missing gaps.
I use Plausible as a main analytics platform, but apparently I don’t have the discipline to check it regularly for all my side-projects. So it just sits there and I'm actually paying money for that just to exists.<p>To fix it for myself I decided that I needed a quick peek at current stats - something that’s always one gesture away and extremely easy so I could do this without any friction.<p>Unfortunately I use Windows, and Windows has this thing called Widgets. Apparently, that’s exactly the surface I needed. Their docs are terrible and 100% of existing widgets are useless, but the panel is fast enough for my task.<p>So I crafted Wizible - a Windows 11 widget for Plausible Analytics.<p>It’s intentionally super simple: open widgets → glance at stats → if something changes, then I open the full dashboard.<p>It's free, use like 20MB of RAM, and should be relatively secure and pretty fast because I put some real software engineer work there and not vibe-code slop.<p>It's available in Microsoft Store, I'm also might open-source it if people are interested.<p>Curious: what’s the ONE metric you’d want on the widget by default? (active visitors / top pages / referrers / conversions?) I choose metrics based on my understanding, but maybe my understanding is wrong.<p>And: would you prefer "real-time only" or "today vs yesterday" trend at a glance? Thinking how a currently missing "small size" might look.