Readit News logoReadit News
tyushk commented on Show HN: Ferrite – Markdown editor in Rust with native Mermaid diagram rendering   github.com/OlaProeis/Ferr... · Posted by u/OlaProis
password4321 · a month ago
I want to see the work done by human beings, not just the AI output. "Open source" to me is sharing the input required, idealistically as much as possible. Without including at least prompts and separating AI output from manual revisions this GitHub repo feels more like publishing "open weights" does, definitely useful but for the most part only for its intended purpose instead of also teaching how to do something similar myself. (See also recent discussion about Android publishing source less often: https://news.ycombinator.com/item?id=46524379)

None of this should be considered critical of this project specifically, very few share "how the sausage is made". You're breaking new ground with a comment about being AI generated prominent in the README, I hope that catches on.

tyushk · a month ago
> "Open source" to me is sharing the input required [...]

I don't disagree with your sentiment, I am also more interested in human-written projects, but I'm curious about how this works. Would a new sorting network not be open source if found by a closed source searching program, like AlphaDev? Would code written with a closed source LSP (ie. Pylance) not be open source even if openly licenced? Would a program written in a closed source language like Mojo then be closed source, no matter what the author licences it under? The line between input and tool seems arbitrary at best, and I don't see what freedoms are being restricted by only releasing the generated code.

tyushk commented on Nerd: A language for LLMs, not humans   nerd-lang.org/about... · Posted by u/gnanagurusrgs
norir · a month ago
I suspect this is wrong. If you are correct, that implies to me that LLMs are not intelligent and just are exceptionally well tuned to echo back their training data. It makes no sense to me that a superior intelligence would be unable to trivially learn a new language syntax and apply its semantic knowledge to the new syntax. So I believe that either LLMs will improve to the point that they will easily pick up a new language or we will realize that LLMs themselves are the dead end.
tyushk · a month ago
I don't think your ultimatum holds. Even assuming LLMs are capable of learning beyond their training data, that just lead back to the purpose of practice in education. Even if you provide a full, unambiguous language spec to a model, and the model were capable of intelligently understanding it, should you expect its performance with your new language to match the petabytes of Python "practice" a model comes with?
tyushk commented on The Cost of a Closure in C   thephd.dev/the-cost-of-a-... · Posted by u/ingve
RossBencina · 2 months ago
Good to see Borland's __closure extension got a mention.

Something I've been thinking about lately is having a "state" keyword for declaring variables in a "stateful" function. This works just like "static" except instead of having a single global instance of each variable the variables are added to an automatically defined struct, whose type is available using "statetype(foo)" or some other mechanism, then you can invoke foo as with an instance of the state (in C this would be an explicit first parameter also marked with the "state" parameter.) Stateful functions are colored in the sense that if you invoke a nested stateful function its state gets added to the caller's state. This probably won't fly with separate compilation though.

tyushk · 2 months ago
Would this be similar to how Rust handles async? The compiler creates a state machine representing every await point and in-scope variables at that point. Resuming the function passes that state machine into another function that matches on the state and continues the async function, returning either another state or a final value.
tyushk commented on Trains cancelled over fake bridge collapse image   bbc.com/news/articles/cwy... · Posted by u/josephcsible
tyushk · 2 months ago
> A BBC journalist ran the image through an AI chatbot which identified key spots that may have been manipulated.

The image is likely AI generated in this case, but this does not seem like the best strategy for finding out if an image is AI generated.

tyushk commented on GEN-0 / Embodied Foundation Models That Scale with Physical Interaction   generalistai.com/blog/nov... · Posted by u/jackdoe
tyushk · 3 months ago
If it really is fully autonomous, that first video is insane. I struggle to put those little tags into the slot in the box sometimes, and I'm pretty sure I'm human, but the bot gets it on the first attempt.
tyushk commented on Show HN: I've build a platform for writing technical/scientific documents   monsterwriter.com... · Posted by u/WolfOliver
tyushk · 4 months ago
I see the idea, but you're competing with Microsoft Word and Overleaf for non-techies, and LaTeX/Typst for techies, and that sounds like a losing battle on both fronts. Non-techies want something familiar that they already know how to use, like Word, just with bib and their university's template. Techies probably don't want a cloud only service for a mostly solved problem. I don't see the value as a techie, and I don't see why I wouldn't just use my University's Word template from a non-techies view.
tyushk commented on I'm absolutely right   absolutelyright.lol/... · Posted by u/yoavfr
tyushk · 5 months ago
I wonder if this is a tactic that LLM providers use to coerce the model into doing something.

Gemini will often start responses that use the canvas tool with "Of course", which would force the model into going down a line of tokens that end up with attempting to fulfill the user's request. It happens often enough that it seems like it's not being generated by the model, but instead inserted by the backend. Maybe "you're absolutely right" is used the same way?

tyushk commented on Introducing Gemma 3n   developers.googleblog.com... · Posted by u/bundie
wiradikusuma · 7 months ago
I still don't understand the difference between Gemma and Gemini for on-device, since both don't need network access. From https://developer.android.com/ai/gemini-nano :

"Gemini Nano allows you to deliver rich generative AI experiences without needing a network connection or sending data to the cloud." -- replace Gemini with Gemma and the sentence still valid.

tyushk · 7 months ago
Licensing. You can't use Gemini Nano weights directly (at least commercial ly) and must interact with them through Android MLKit or similar Google approved runtimes.

You can use Gemma commercially using whatever runtime or framework you can get to run it.

tyushk commented on The Windows Subsystem for Linux is now open source   blogs.windows.com/windows... · Posted by u/pentagrama
hermitShell · 9 months ago
I don’t know why there aren’t full fledged computers in a GPU sized package. Just run windows on your GPU, Linux on your main cpu. There’s some challenges to overcome but I think it would be nice to be able to extend your arm PC with an x86 expansion, or extend your x86 PC with an ARM extension. Ditto for graphics, or other hardware accelerators
tyushk · 9 months ago
You may be interested in SmartNICs/DPUs. They're essentially NICs with an on-board full computer. NVIDIA makes an ARM DPU line, and you can pick up the older gen BlueField 2's on eBay for about $400.
tyushk commented on The Windows Subsystem for Linux is now open source   blogs.windows.com/windows... · Posted by u/pentagrama
randunel · 9 months ago
Windows supports Linux because the latter is open source, it's a lot easier than the reverse.

Linux, on the other hand, barely supports Windows because the latter is closed, and not just closed, windows issues component updates which specifically check if they run in wine and stop running, being actively hostile to a potential Linux host.

The two are not equivalent, nobody in the Linux kernel team is actively sabotaging WSL, whereas Microsoft is actively sabotaging wine.

tyushk · 9 months ago
> whereas Microsoft is actively sabotaging wine

Do you have a link to where I can read more about this? My understanding is that Microsoft saw Wine as inconsequential to their business, even offloading the Mono runtime to them [1] when they dropped support for it.

[1] https://www.mono-project.com/

u/tyushk

KarmaCake day152November 13, 2024View Original