Hacker News

I am stuck on 128kbps connection for a while. The only website that loads without the server timing out is HackerNews.

I cannot even click on the commit history of a GitHub repo on the web, it seems to be some sort of bloated react interface for what amounts to an excruciatingly slow `git log`.

Cloning the entire repo is not feasible unless I know in advance that the repo is small, but I cannot know that unless I browse the log and directory beforehand.

I cannot search Google for advanced git commands, as Google times out 90% of the time, while 9% of the time it sends me to a captcha which is even more bloated to load and times out again.

Comments URL: https://news.ycombinator.com/item?id=43137297

Points: 1

# Comments: 0

Article URL: https://freeleaguepublishing.com/games/tales-from-the-loop-rpg/

Comments URL: https://news.ycombinator.com/item?id=43137293

Points: 1

# Comments: 0

Article URL: https://www.bps.org.uk/research-digest/does-feeling-powerful-make-us-more-likely-be-unfaithful

Comments URL: https://news.ycombinator.com/item?id=43137284

Points: 1

# Comments: 0

Article URL: https://www.theintrinsicperspective.com/p/brain-drain

Comments URL: https://news.ycombinator.com/item?id=43137276

Points: 2

# Comments: 0

Article URL: https://jetwilliams.com/why-im-building-a-context-pod/

Comments URL: https://news.ycombinator.com/item?id=43137254

Points: 1

# Comments: 0

Article URL: https://www.calcverse.live

Comments URL: https://news.ycombinator.com/item?id=43137248

Points: 1

# Comments: 0

Article URL: https://www.youtube.com/watch?v=RYYf8cLUV5E

Comments URL: https://news.ycombinator.com/item?id=43137224

Points: 1

# Comments: 0

Hey HN,

We built Meetily – an open-source, privacy-first AI meeting assistant for transcription, summarization, and note-taking. Unlike Otter.ai or Granola.ai, Meetily runs entirely on local hardware or self-hosted cloud infra, ensuring full data control (no cloud storage or SaaS lock-in).

Why We Built This:

Most AI meeting assistants store meeting data in the cloud, raising privacy and compliance concerns. Additionally, they come with expensive SaaS pricing ($8–$20 per user/month). We wanted a free, local-first alternative that:

Transcribes in real-time (Whisper.cpp) Generates AI-powered summaries (Local LLMs with Ollama (Accurate with models greater than 32B parameter models), or external APIs like Claude Sonet, Groq, Llama 70B) Stores meeting data locally (no cloud dependencies) Runs on local hardware (for security & compliance) Is fully open-source (customizable & extensible)

Tech Stack

Frontend: Tauri + Next.js Backend: FastAPI Transcription: Whisper.cpp Summarization AI: Local LLMs (Ollama) + API support (Claude, Groq, etc.) Database: SQLite + VectorDB for semantic search Rust-based audio capture for efficiency

What's next for us?

Optimizing AI summarization for small LLMs Hybrid cloud support (self-hosted models for extra compute) Conversational search on past meetings

Comments URL: https://news.ycombinator.com/item?id=43137186

Points: 1

# Comments: 0

Hi I'm Anqur, a senior software engineer with different backgrounds where development in C was often an important part of my work. E.g.

1) Game: A Chinese/Vietnam game with C/C++ for making server/client, Lua for scripting [1]. 2) Embedded systems: Switch/router with network stack all written in C [2]. 3) (Networked) file system: Ceph FS client, which is a kernel module. [3]

(I left some unnecessary details in links, but are true projects I used to work on.)

Recently, there's a hot topic about Rust and C in kernel and a message [4] just draws my attention, where it talks about the "Rust" experiment in kernel development:

> I'd like to understand what the goal of this Rust "experiment" is: If we want to fix existing issues with memory safety we need to do that for existing code and find ways to retrofit it.

So for many years, I keep thinking about having a new C dialect for retrofitting the problems, but of C itself.

Sometimes big systems and software (e.g. OS, browsers, databases) could be made entirely in different languages like C++, Rust, D, Zig, etc. But typically, like I slightly mentioned above, making a good filesystem client requires one to write kernel modules (i.e. to provide a VFS implementation. I do know FUSE, but I believe it's better if one could use VFS directly), it's not always feasible to switch languages.

And I still love C, for its unique "bare-bone" experience:

1) Just talk to the platform, almost all the platforms speak C. Nothing like Rust's PAL (platform-agnostic layer) is needed. 2) Just talk to other languages, C is the lingua franca (except Go needs no libc by default). Not to mention if I want WebAssembly to talk to Rust, `extern "C"` is need in Rust code. 3) Just a libc, widely available, write my own data structures carefully. Since usually one is writing some critical components of a bigger system in C, it's just okay there are not many choices of existing libraries to use. 4) I don't need an over-generalized generics functionality, use of generics is quite limited.

So unlike a few `unsafe` in a safe Rust, I want something like a few "safe" in an ambient "unsafe" C dialect. But I'm not saying "unsafe" is good or bad, I'm saying that "don't talk about unsafe vs safe", it's C itself, you wouldn't say anything is "safe" or "unsafe" in C.

Actually I'm also an expert on implementing advanced type systems, some of my works include:

1) A row-polymorphic JavaScript dialect [5]. 2) A tiny theorem prover with Lean 4 syntax in less than 1K LOC [6]. 3) A Rust dialect with reuse analysis [7].

Language features like generics, compile-time eval, trait/typeclass, bidirectional typechecking are trivial for me, I successfully implemented them above.

For the retrofitted C, these features initially come to my mind:

1) Code generation directly to C, no LLVM IR, no machine code. 2) Module, like C++20 module, to eliminate use of headers. 3) Compile-time eval, type-level computation, like `malloc(int)` is actually a thing. 4) Tactics-like metaprogramming to generate definitions, acting like type-safe macros. 5) Quantitative types [8] to track the use of resources (pointers, FDs). The typechecker tells the user how to insert `free` in all possible positions, don't do anything like RAII. 6) Limited lifetime checking, but some people tells me lifetime is not needed in such a language.

Any further insights? Shall I kickstart such project? Please I need your ideas very much.

[1]: https://vi.wikipedia.org/wiki/V%C3%B5_L%C3%A2m_Truy%E1%BB%81n_K%E1%BB%B3

[2]: https://e.huawei.com/en/products/optical-access/ma5800

[3]: https://docs.ceph.com/en/reef/cephfs/

[4]: https://lore.kernel.org/rust-for-linux/Z7SwcnUzjZYfuJ4-@infradead.org/

[5]: https://github.com/rowscript/rowscript

[6]: https://github.com/anqurvanillapy/TinyLean

[7]: https://github.com/SchrodingerZhu/reussir-lang

[8]: https://bentnib.org/quantitative-type-theory.html

Comments URL: https://news.ycombinator.com/item?id=43137171

Points: 1

# Comments: 0

Article URL: https://www.thetransmitter.org/spectrum/ai-tool-estimates-social-ability-by-analyzing-speech/

Comments URL: https://news.ycombinator.com/item?id=43137150

Points: 2

# Comments: 0

Article URL: https://open-ui.org/components/invokers.explainer/

Comments URL: https://news.ycombinator.com/item?id=43137145

Points: 2

# Comments: 0

Article URL: https://tmp.bearblog.dev/how-i-stay-reasonably-anonymous-online/

Comments URL: https://news.ycombinator.com/item?id=43137139

Points: 1

# Comments: 0

Article URL: https://www.lrb.co.uk/the-paper/v42/n06/richard-lloyd-parry/akihito-and-the-sorrows-of-japan

Comments URL: https://news.ycombinator.com/item?id=43137135

Points: 2

# Comments: 0

Article URL: https://www.youtube.com/watch?v=eGTW8IBKEPw

Comments URL: https://news.ycombinator.com/item?id=43137115

Points: 1

# Comments: 0

Article URL: https://arxiv.org/abs/quant-ph/0110141

Comments URL: https://news.ycombinator.com/item?id=43137100

Points: 1

# Comments: 0

Article URL: https://arstechnica.com/gaming/2025/02/history-evaporating-before-our-eyes-gamers-lament-twitchs-new-video-storage-limits/

Comments URL: https://news.ycombinator.com/item?id=43137085

Points: 3

# Comments: 0

Article URL: https://newatlas.com/disease/spinal-muscular-atrophy-infant-treated-in-utero/

Comments URL: https://news.ycombinator.com/item?id=43137075

Points: 1

# Comments: 0

Article URL: https://www.wired.com/story/tp-link-router-ban-investigation/

Comments URL: https://news.ycombinator.com/item?id=43137067

Points: 2

# Comments: 0

Article URL: https://arstechnica.com/security/2025/02/leaked-chat-logs-expose-inner-workings-of-secretive-ransomware-group/

Comments URL: https://news.ycombinator.com/item?id=43137035

Points: 3

# Comments: 0

Article URL: https://www.theguardian.com/science/2025/feb/22/filter-trouble-why-audiologists-worry-noise-cancelling-headphones-may-impair-hearing-skills

Comments URL: https://news.ycombinator.com/item?id=43137034

Points: 2

# Comments: 1