MurphyA/hacker-news huggingface dataset:
by rramadass | 2025-09-01 02:15:08+00:00
I am not sure what you are trying to argue with this gish gallop of a comment filled with strawmen. The usefulness of Geometry in visualizing and building intuition in Mathematics is a given. Equally, its limitations when it comes to higher dimensions is also known. But for a beginning student (the context of this thread) it is the former which must be emphasized before he has developed the requisite mathematical maturity to deal with the latter. You do not want to scare away students from the important practical subject of Linear Algebra by focusing too much on its complexity in the initial stages of learning.

I highly recommend that you talk to/read the works of some mathematicians who are also involved with the research in the teaching of mathematics. There has been a lot of studies/research done on how to teach students build mathematical intuition using Geometry (and other graphical means) and in particular w.r.t. Linear Algebra. Some relevant references are given below for your edification; those by Harel are in particular, noteworthy.

The farin and hansford book mentioned earlier is one of the best introductory texts for beginners since it starts with building geometrical intuition for the study of the linear algebra. Pair it with some more rigorous text like for example; Linear Algebra Pure & Applied by Edgar Goodaire and the student can comfortably learn a pure mathematical approach with a clear understanding of what he is doing. Goodaire is a "pure mathematician" who specifically starts with 2D/3D graphs and then transitions to n-space with all necessary definitions/theorems/proofs included in a very accessible writing style. This is the ideal approach to the teaching and learning of Linear Algebra i.e. use geometry (and other graphical means) in conjunction with algebra, and where applicable, include caveats/limitations, but always with the aim and focus of teaching concepts and not mere computation.

References:

1) Intuition in Science and Mathematics: An Educational Approach by Efraim Fischbein - https://link.springer.com/book/10.1007/0-306-47237-6

2) The efficiency of visualization through geometry at mathematics education: a theoretical framework by Sefa Dundar et al. - pdf at https://www.sciencedirect.com/science/article/pii/S187704281...

3) Should we teach linear algebra through geometry? by Ghislaine Gueudet-Chartier - pdf at https://www.sciencedirect.com/science/article/pii/S002437950...

4) Geometric thinking in a n-space by Ghislaine Gueudet - pdf at https://shs.hal.science/hal-00529609/

5) Students' understanding of proofs: a historical analysis and implications for the teaching of geometry and linear algebra by Guershon Harel - pdf at https://www.sciencedirect.com/science/article/pii/S002437959...

6) Promoting Linear Algebraic Reasoning among Students: Affordances and Challenges by Guershon Harel - pdf at https://www.tandfonline.com/doi/full/10.1080/10511970.2024.2...
by 6stringmerc | 2025-09-01 02:16:56+00:00
Glad for him and without a doubt the support network and relationships he had in place significantly contributed to his positive outcome. I recently went through a similar trial and tribulation but as an inmate and by receiving sub-standard care. That's how I was able to turn inward and finally crack into real enlightenment and it's the solid kind because comparatively speaking, I had fuck-all to live for. No family. No future. No nothing but more suffering. And yet I found the release into accepting the beauty of futility. I commit to the program, I give. Let Go and Hang On. IYKYK.
by mjevans | 2025-09-01 02:17:28+00:00
Incorrect.

Choice 2. Empowered user. The end user is free to CHOOSE to delegate the hardware's approved signing solutions to a third party. Possibly even a third party that is already included in the base firmware such as Microsoft, Apple, OEM, 'Open Source' (sub menu: List of several reputable distros and a choice which might have a big scary message and involved confirmation process to trust the inserted boot media or the URL the user typed in...)

There should also be a reset option, which might involve a jumper or physical key (E.G. clear CMOS) that factory resets any TPM / persistent storage. Yes it'd nuke everything in the enclave but it would release the hardware.
by mountainriver | 2025-09-01 02:18:38+00:00
Peter Thiel is a very complicated guy. As a bisexual man I struggle to understand anyone who grew up queer would back the church who told them they were inherently sinful.

Then the extreme projection, if you read the biblical text, Trump is clearly the closest thing America has seen to an antichrist (in present times), he literally makes idols of himself.

Even my extremely die hard Christian mother thinks Trump may be the antichrist. Which I never thought I would hear.
by rich_sasha | 2025-09-01 02:18:43+00:00
Having disliked Git for a long time, I concluded that looking for alternatives is actually a waste of time, unless you do it as a hobby.

VCSes are natural monopolies. There is a natural and unforced benefit from using the same thing as everyone else, unless it is so terrible that you literally can't work it. Because:

1. You use it for collaboration with others

2. You use it on new or under-configured machines where suddenly you're stuck with the lowest common denominator, ie got

3. 99%+ of online materials assume you're using git.

4. The RoI is actually not that great. If you do learn the system, you're only in the same place professionally as if you learned git in the first place.

Git is famous for its user interface, and not in a good way. But the 5-8 commands I use daily, I now remember. I still have to Google for interactive rebase or how to nuke last commit - but I do it rarely enough that it doesn't matter.

Jujutsu sounds really nice, likewise I really wanted to like mercurial. But in the end I decided it wasn't worth my time.
by stale2002 | 2025-09-01 02:19:23+00:00
> Locked-down, managed devices for vulnerable users who benefit from protection

Thats fine! Just make sure it is possible for someone to take the same device and remove the locked down protections.

Make it require a difficult/obvious factory reset to enable, if you are concerned about someone being "tricked" into turning off the lockdown.

If someone wants baby mode on, all power too them! Thats their choice. Just like it should be everyone else's choice to own the same hardware and turn it off.
by faxipay349 | 2025-09-01 02:20:05+00:00
I just came across an evaluation of state-of-the-art SPLADE models. Yeah they utilize BERT's vocabulary size as their sparse vector dimensionality and do capture semantics. As expected, they significantly outperform all dense models in this benchmark. https://github.com/frinkleko/LIMIT-Sparse-Embedding OpenSearch team seemed has been working on inference-free versions of these models. Similar to BM25, these models only encode documents offline. So now we have sparse, small and efficient models while is much better than dense ones, at least on LIMIT
Show HN: Nano Banana AI Image Generator
by dond1986 | 2025-09-01 02:20:10+00:00
I’d like to share Nano Banana AI Image Generator, a tool for creating and editing images using natural language. It’s powered by the Gemini 2.5 Flash model and focuses on simplicity and ease of use. To get started, every user gets 10 free credits, which you can use to generate or edit up to 10 images. No strings attached—just explore and see what it can do. I’d love to hear your thoughts or any feedback you might have. Thanks for taking the time to check it out!
by jerbearito | 2025-09-01 02:21:25+00:00
This feels like an arbitrary level of abstraction for how much control a user should have. When you buy a phone, you're buying a combination of components designed and paired for that manufacturer's software. Can the user potentially replace that software? Sure, but should they be expected to?

If they just wanted hardware, they could buy their own and piece something together, if we're exploring those kinds of hypotheticals. But buying an Apple or Android device is a different choice and I think, within that context, a user should be able to run the software they want.
by tomhow | 2025-09-01 02:21:33+00:00
It's completely unacceptable to attack a fellow HN user like this, repeatedly over an extended period of time. It creates a feeling of stalking and persistent harassment, and we cannot let that kind of behaviour continue without consequence. We'll have to ban the account if it happens again. You've made plenty of positive contributions to HN, so we don't want to ban you, but this pattern of behaviour has to stop immediately and permanently.
by nickthegreek | 2025-09-01 02:22:53+00:00
Paul knows that. He is arguing for a different future. google is about to remove my ability to remotely control my thermostat. Not even local control. Imagine a world where they would have to choose between continued device support or unlocking… or maybe just building out the local control and cleaning their hands of it. Having corpos as the arbiter of a consumers buying schedule and creating unnecessary easter is pretty undesirable.
by thecolorblue | 2025-09-01 02:23:24+00:00
I just ran a test giving the same prompt to claude, gemini, grok and qwen3 coder running locally. Qwen did great by last years standards, and was very useful in building out boilerplate code. That being said, if you looked at the code side by side with cloud hosted models, I don't think anyone would pick Qwen.

If you have 32gb of memory you are not using, it is worth running for small tasks. Otherwise, I would stick with a cloud hosted model.
by stale2002 | 2025-09-01 02:23:56+00:00
> I want locked down hardware because of the massive benefits.

> want to rip that option away from me.

You would be free to have that option. Just like everyone else would be free to own the same hardware and escape the walled garden. Nobody would force you to unlock your device. Just keep it locked down. Other people freeing their own hardware has nothing to do with your choice.
by kranner | 2025-09-01 02:23:58+00:00
I'd shared this article last week with the meditation group I'm part of, describing the author's state of mind on the eve of surgery as a state of samadhi. It's a great description of the state I end up in during almost every meditation session (practicing in the 'open awareness' style) and sometimes also in the middle of the day, unprompted.

I'd shared it with the group because it was interesting that the author had spontaneously landed in the state due to catastrophic circumstances, but now reading it a second time I recall this had also happened to me years ago, on the sudden death of a close family member. I consider myself lucky to be able to access it outside circumstances of personal tragedy or medical emergency. It's a great reason to learn to meditate; unfortunately you can't give people a quick preview of it or a lot more people would take meditation more seriously.
by throwaway22032 | 2025-09-01 02:24:23+00:00
The issue with this is that inevitably the locked down devices, which will end up being 98%+ of the market, become required for ordinary living, because no-one will develop for the 2%.

Open hardware is essentially useless if I need to carry both an open phone and a phone with the parking app, the banking app, messenger app to contact friends, etc.
by CuriouslyC | 2025-09-01 02:24:38+00:00
Claude code (janky AF but the best right now). I use it for everything, almost literally. I don't even commit anymore, I have a command to do a commit preflight then inc version, commit with good messages, merge and push. Earlier today I ran out of disk space while doing nix builds and I used it to run the unix commands to see where on my filesystem I could reclaim space, filter out certain classes of things, then create a script I could use to run a clean-up. I give it MCPs and have it manage my google analytics, track social media, add editor's comments to my novel manuscript, the list goes on.

The good thing about it is that the plan is a hell of a deal, and it works well enough to not be annoying.
by benjbrooks | 2025-09-01 02:25:04+00:00
I summited Mt Whitney last fall, a trail that 1) is notoriously hard to get a permit for and 2) requires all waste to be packed out via Wag Bags.

I was surprised to see a dozen or so wag bags tossed to the side of the trail over the course of my trip. You’d think that visitors would either poop on the ground with no regard for others or pack out their waste, not take all the effort to bring the bag but leave the remnants. It really left a sour taste in my mouth (and smell in my nostrils).
by snailmailman | 2025-09-01 02:25:15+00:00
Interesting. I saw some of their video about this the other day. The video gives the impression that Nintendo is intentionally not supporting external monitors that aren’t the official switch dock.

But the conclusion on this article seems to lean more towards that it could be a mistake or bug. I guess that might be the case - didn’t they screw up USB-C on the switch 1? I know it’s an incredibly complex standard.

I guess the only way to know if it’s intentional or a bug, is if Nintendo updates the switch to fix it. As Linus said in his video, the Nintendo USB isn’t very “universal”.
by Proofread0592 | 2025-09-01 02:25:27+00:00
The orange website is filled with tech-savvy people who understand all this. To play devils advocate, google is trying to protect the lower-half of the IQ distribution: examples given in the article are the folks who were *told by their bank they were being scammed, and still sent money anyway*. There is no amount of prompts that can protect a user from their own stupidity.
by Nevermark | 2025-09-01 02:25:40+00:00
I suspect if China took over Taiwan and throttled down exports of rare earth elements, high end chips, and manufacturing in general, we would be triangulating back to the point that the US began hemorrhaging credibility as a nation capable of being serious about its own and its allies well being.

As the onset of a US fall.

Personally, I didn't understand the Biden principle of helping Ukraine "not lose", but not helping it win. How was that ever going to produce a desirable result? And now, the US reputation for stalwart support of friends, and friends willingness to support the US, are both fading faster.

Well, I can't predict the future. At least I very much hope I can't.
by gdubs | 2025-09-01 02:25:59+00:00
One thing I don't hear a lot of people talk about is building prototypes. That's where I see a gigantic time savings. It doesn't have to be beautiful code, it just has to help me answer a question so I can make a decision about where to go next. That and tools. There have been many times where I've wanted to build a task-specific tool but justifying the time would be hard. Now I can create little tools like that, and it's a huge productivity boost.
by faxipay349 | 2025-09-01 02:27:57+00:00
Yeah, the standard SPLADE model trained from BERT typically already has a vocabulary/vector size of 30,552. If the SPLADE model is based on a multilingual version of BERT, such as mBERT or XLM-R, the vocabulary size could inherently expand to approximately 100,000, as does the vector size.
by thegeekpirate | 2025-09-01 02:28:09+00:00
It does seem like they somewhat do now, as of the last several years https://wiki.lazarus.freepascal.org/management_operators

From https://news.ycombinator.com/item?id=19100760 since I'm not a Pascal user:

> The change we're talking about automatically invokes Initialize and Finalize on all types for dynamic allocations / destruction, unless they intentionally circumvent it. Intentional circumvention might include allocating raw memory in a class and treating the class like an array with an index property. In other words, if you declare a raw pointer, allocate untyped memory (e.g. bytes), and handle something back from that memory using a typecast, then you are bypassing automatic allocation and destruction.

> All other ways to make space for complex types (records and classes) as well as types which may hold complex types (arrays and nested fields) will safely and reliably use Initialize and Finalize when needed if they are defined.
by TheRoque | 2025-09-01 02:30:38+00:00
Really ? I find myself thinking the opposite. My program always runs in debug mode, and when there's some issue I put a breakpoint, trigger it, and boom I can check what is wrong. I don't need to stop the program, insert a new line to print what i _guess_ is wrong, restart the program from scratch etc.

Properly debugging my stack is probably one of the first things I setup because I find it way less tedious. Like, for example, if you have an issue in a huge Object or Array, will you actually print all the content, paste it somewhere else and search through the logs ? And by the way, most debuggers also have ability to setup a log points anyways, without having to restart your program. Genuinely curious to know how writing extra lines and having to restart makes things easier.

Of course I'm not saying that I never débug with logs, sometimes it's require or even more efficient, but it's often my second choice.
by SlowTao | 2025-09-01 02:30:58+00:00
Completely agree. This is a general issue with technology in general, if someone uses a new technology to their advantage and at your disadvantage, you are essentially forced to adopt said technology just to keep up. In that sense a lot of technological change isn't voluntary. This also explains why a lot of open source/proprietary software is always chasing each other to keep up.
by baranul | 2025-09-01 02:31:06+00:00
Such code will generate warnings, "arrays of references need to be initialized right away, therefore `len:` cannot be used (unless inside `unsafe`, or if you also use `init:`)". By the way, the other optional parameter, besides `len` and `cap`, is `init` (in the documentation too). The person is being told to use unsafe or do something else.

Warnings are given to allow the programmer to experiment or solve by other methods. Beta means language still in development. Lastly and for V, the warnings mean that in production mode (-prod ﬂag), that kind of code will not compile.
by lukev | 2025-09-01 02:33:01+00:00
That would not help in the slightest, any more than a "surgeon general's warning" helps stop smokers.

The problem is calling it "AI" to start with. This (along with the chat format itself) primes users to think of it as an entity... something with care, volition, motive, goals, and intent. Although it can emulate these traits, it doesn't have them.

Chatting with a LLM is entering a one-person echo-chamber, a funhouse mirror that reflects back whatever semantic region your initial query put it. And the longer you chat, the deeper that rabbit hole goes.
by cardanome | 2025-09-01 02:33:25+00:00
Here in Germany people can wait years to get an diagnosis. And I mean literal years.

And we are talking about an active process here of actively calling therapists, adding yourself to their wait lists and so on. There is no central system. If you have the money to pay privately you can get it done in months but it is a lot more involved than a simple questionnaire either way.

And even if you have an official diagnosis this does NOT get you medication. You got to find a psychiatrist first. So back to square one. Call ten, twenty, thirty, forty people, maybe get an appointment in a few months.

The US is pretty progressive when it comes to mental health all things considered. Most people in this world are not so lucky.
by fastball | 2025-09-01 02:34:20+00:00
Apple is a company, not a government. I haven't traded my liberty for anything. Again, you can buy a different phone – that is where liberty comes into this equation.

If the USG decides to pass a law saying you can only buy iPhones, then we will have more to talk about w.r.t. liberty.

Nothing actually prevents you from modifying your iPhone however you see fit, btw. If you are incapable of breaking Apple's security without bricking the phone, that's a "you" problem.
by vlovich123 | 2025-09-01 02:34:50+00:00
> Additionally, in C++, requesting that heap memory also requires a syscall every time the container geometrically changes size

That is not true - no allocator I know of (and certainly not the default glibc allocator) allocates memory in this way. It only does a syscall when it doesn’t have free userspace memory to hand out but it overallocates that memory and also reuses memory you’ve already freed.
by mensetmanusman | 2025-09-01 02:35:13+00:00
Having dealt with near and distant family psychosis on more than one occasion…

The truth is that the most random stuff will set them off. In one case, a patient would find reinforcement on obscure YouTube groups of people predicting the doom of the future.

Maybe the advantage of AI over YouTube psychosis groups is that AI could at least be trained to alert the authorities after enough murder/suicide data is gathered.
by SchemaLoad | 2025-09-01 02:36:52+00:00
Yeah pretty much. I don't disagree on principal that people should be able to install a custom OS on their device. But in practical terms it doesn't really matter all that much because hardware is so complex and moves so fast that no hobbyist has even close to the time and resources to develop a custom OS for the latest phones.

The M1 Macbook Air is 5 years old now, has an active development, lots of community funding and attention, yet is still missing basic functionality like external monitors and video decoding. Because it's just a mammoth task to support modern hardware. Unless you have a whole paid team on it you've got no hope.
by AnthonyMouse | 2025-09-01 02:37:27+00:00
> The problem isn't that locked-down devices exist - it's that we don't have enough truly open alternatives for those who want them.

The problems is that vendors use "locked down devices" as an excuse to limit competition.

Suppose you have a "locked down" device that can only install apps from official sources, but "official sources" means Apple, Google, Samsung or Amazon. Moreover, you can disable any of these if you want to (requiring a factory reset to re-enable), but Google or Apple can't unilaterally insist that you can't use Amazon, or for that matter F-Droid etc.

Let the owner of the device lock it down as much as they want. Do not let the vendor do this when the owner doesn't want it.
by magicalhippo | 2025-09-01 02:38:10+00:00
I have a 5070 Ti and a 2080 Ti, but running Windows so roughly 25-26 GB available. With Flash Attention enabled, I can just about squeeze in Qwen3-Coder-30B-A3B-Instruct-UD-Q4_K_XL from Unsloth with 64k context entirely on the GPUs.

With a 3090 I guess you'd have to reduce context or go for a slightly more aggressive quantization level.

Summarizing llama-arch.cpp which is roughly 40k tokens I get ~50 tok/sec generation speed and ~14 seconds to first token.

For short prompts I get more like ~90 tok/sec and <1 sec to first token.
by JTpe18 | 2025-09-01 02:38:26+00:00
I understand Synology’s design approach. In enterprise environments, physical security - especially when systems are housed in ISO 27001–certified data centers—is relatively straightforward to achieve.

The primary value of disk/volume encryption is actually for scenarios like end-of-life replacement, RMA, failure and disposal - even if someone later reconstructs the disk sectors, the bits remain unreadable. This is one layer of defense in depth, not a substitute for physical security.

Synology also supports KMIP, which I see addressing two situations:

1. Data center key governance and media mobility - Multiple hosts (including spares) can use KMIP for centralized key management, improving the mobility of drives within the data center and reducing the operational cost of moving drives between machines. When decommissioning hardware, keys can be revoked directly in KMIP with an audit trail.

2. Edge/branch sites with weaker physical controls - By using KMIP, keys are kept in the more secure data center rather than on the edge device itself. The edge hardware stores no keys, so if an entire machine is stolen, it cannot be unlocked, preserving confidentiality.