HackerLangs
トップ新着トレンドコメント過去質問紹介求人

ZeroCool2u

3,986 カルマ登録 12 年前
https://theolinnemann.com

投稿

[untitled]

1 ポイント·投稿者 ZeroCool2u·24 日前·0 コメント

Diátaxis: A systematic approach to technical documentation authoring

diataxis.fr
5 ポイント·投稿者 ZeroCool2u·2 か月前·0 コメント

The Banal Horror of Jimmy Fallon

currentaffairs.org
8 ポイント·投稿者 ZeroCool2u·2 か月前·2 コメント

Steam Deck Software in 2026:Checking in with the Developers Behind the Ecosystem

gardinerbryant.com
4 ポイント·投稿者 ZeroCool2u·2 か月前·0 コメント

[untitled]

1 ポイント·投稿者 ZeroCool2u·3 か月前·0 コメント

Ask HN: What are some examples of your favorite product documentation?

3 ポイント·投稿者 ZeroCool2u·4 か月前·2 コメント

Trump Orders US Agencies to Drop Anthropic After Pentagon Feud

bloomberg.com
20 ポイント·投稿者 ZeroCool2u·4 か月前·3 コメント

LM Link: Use local models on remote devices, powered by Tailscale

tailscale.com
2 ポイント·投稿者 ZeroCool2u·4 か月前·0 コメント

LMStudio LM Link: Use your local models, remotely

lmstudio.ai
1 ポイント·投稿者 ZeroCool2u·4 か月前·0 コメント

Reticulum Network

reticulum.network
2 ポイント·投稿者 ZeroCool2u·5 か月前·1 コメント

RNode

unsigned.io
4 ポイント·投稿者 ZeroCool2u·5 か月前·1 コメント

Coda-GQA-L Bounded Memory Differential Attention with Value-Routed Landmark Bank

huggingface.co
1 ポイント·投稿者 ZeroCool2u·5 か月前·0 コメント

[untitled]

1 ポイント·投稿者 ZeroCool2u·6 か月前·0 コメント

[untitled]

24 ポイント·投稿者 ZeroCool2u·6 か月前·0 コメント

Bolmo: Byteifying the next generation of language models

allenai.org
1 ポイント·投稿者 ZeroCool2u·7 か月前·0 コメント

Amazon introduces new frontier Nova models

aboutamazon.com
1 ポイント·投稿者 ZeroCool2u·7 か月前·1 コメント

A simpler path to a safer Internet: an update to our CSAM scanning tool

blog.cloudflare.com
8 ポイント·投稿者 ZeroCool2u·10 か月前·0 コメント

1.0 release of the Google Cloud client libraries for Rust

github.com
4 ポイント·投稿者 ZeroCool2u·10 か月前·0 コメント

コメント

ZeroCool2u
·一昨日·議論
I used it for double checking some stuff while helping my friend build his PC! I had it in tight spaces and it helped me verify some details around which nvme slot to use first.
ZeroCool2u
·一昨日·議論
Gemini live has been able to do this for over a year now. I can just activate it on my phone and it really works surprisingly well, especially the interruption. I've tested it with my 95 year old Dutch grandmother and it switched seamlessly between English and Dutch with her and handled her poor hearing very well, including her asking for repetition.

I'm a little surprised by how much OAI is playing catch up here.
ZeroCool2u
·4 日前·議論
The tutorial is helpful: https://model-checking.github.io/kani/kani-tutorial.html

Reminds me a bit of hypothesis auto in its simplest applications: https://github.com/timothycrosley/hypothesis-auto/
ZeroCool2u
·10 日前·議論
Having used it quite a bit when it was out, it's not. It's certainly better, but in some ways it's worse. It's trained to be more "agentic" and even in cases where I wanted to talk things through first and I would explicitly tell it not to do something, it would take action on my behalf without checking first.

It's also still just prone to the kind of "stupid" mistakes we see from all LLM's. Like it can write great code, but it doesn't really have common sense without enormous guidance.
ZeroCool2u
·15 日前·議論
This one? https://www.cs.huji.ac.il/~nati/PAPERS/lmn.pdf
ZeroCool2u
·18 日前·議論
More information here: https://youtu.be/66QzlDewigE?is=WC9vt6LBtdWFPqfp
ZeroCool2u
·先月·議論
One can only hope The Culture is the trajectory the future bends to.
ZeroCool2u
·先月·議論
Zed is excellent. I know it's weird, but the last thing holding me back is being able to have a browser based Zed session the same as VSCode.
ZeroCool2u
·2 か月前·議論
A crucial factor tech industry folks tend to ignore is how much executives value predictable costs. Cloud migrations got away with this, but still had to argue fiercely, because 'the cloud' and its serverless tech had the potential to significantly decrease overall spend for unpredictable, bursty workloads.

The usual counter-argument is the operational burden, but human capital is also a relatively fixed cost. A dedicated team of 3-5 FTEs could probably handle inference ops for a F500 company.

Meanwhile, the capability delta is shrinking fast. We have more evidence that local open-source is viable with the release of DeepSeek v4, and the industry is only trending further in this direction. Especially as we rely more on test-time compute and task-specific harnesses rather than model size.

So, if you're an executive looking at a marginal but fixed operations cost, added flexibility, and a rapidly closing gap in capability, why wouldn't you just run open-source models on your own infrastructure to get those highly predictable costs? Plus, you decrease the risk of one of the frontier
ZeroCool2u
·2 か月前·議論
Interestingly, Anthropic uses Mintlify for their docs. Not Stainless. Obviously, the focus is on SDK generation, but still strange.
ZeroCool2u
·2 か月前·議論
It is frustrating, because I really enjoyed my Valve Index and want a replacement and Meta has some of the best VR tech in the world, but I've waited 6 years for Valve to release their new headset to buy a replacement, simply because Meta can't be trusted.
ZeroCool2u
·2 か月前·議論
The quality of apps in the Google Play Store has dropped massively. There are still some gems, but for better or worse, the ecosystem is simply not as strong as Apples and it's certainly not comparable to just having a device where you can install anything you'd like in a full desktop grade OS.
ZeroCool2u
·2 か月前·議論
There was a time where Google could've been competitive in this space, specifically against Apples MacBook product line, but that has long since passed. The 3rd party manufacturer path means Google isn't committed to this and won't have competitive hardware. It'll just be another Chromebook and limited to the Google Play Store too, which just isn't good at this point.
ZeroCool2u
·2 か月前·議論
Bedrock is both more expensive, less feature complete, and less reliable in terms of raw volume of 500 errors.
ZeroCool2u
·2 か月前·議論
Interesting side effect of this is that Google Cloud may now be the only hype scaler that can resell all 3 of the labs models? Maybe I'm misinterpreting this, but that would be a notable development, and I don't see why Google would allow Gemini to be resold through any of the other cloud providers.

Might really increase the utility of those GCP credits.
ZeroCool2u
·3 か月前·議論
Benchmarks are favorable enough they're comparing to non-OpenAI models again. Interesting that tokens/second is similar to 5.4. Maybe there's some genuine innovation beyond bigger model better this time?
ZeroCool2u
·3 か月前·議論
Whenever we get the locally runnable 4k models things are going to get really awkward for the big 3 labs. Well at least Google will still have their ad revenue I guess.
ZeroCool2u
·3 か月前·議論
In my experience Azure is full of consistency issues and race conditions. It's enough of an issue that I was talking about new OpenAI models becoming available via Bedrock on AWS and how convenient that was since I wouldn't have to deal with Azure and my colleague in enterprise architecture went on an unprompted rant about these exact issues. It's not the first time something like this has happened and I've experienced these issues first hand, so yes. I'd say reliability is a critical issue for Azure and it hasn't gotten better each time I've gone back to check.
ZeroCool2u
·3 か月前·議論
Does quad9 have a resolver that includes ad blocking?
ZeroCool2u
·3 か月前·議論
Yes, exactly my point.