skysight-inc/HackerNews huggingface dataset:
Show HN: 16 year olds building an AI-powered Integrated Writing Environment
Hey HN! Jainish here—super excited to share that my friends and I have just launched Factful, an Integrated Writing Environment (IWE) that many of you helped shape with your feedback.

For those who missed our last post (https://news.ycombinator.com/item?id=40222051), we shared an early version of Factful and were amazed to see over 20,000 users giving it a try. Since then, we’ve been hard at work refining the platform based on your suggestions. Factful is now a complete IWE that offers everything you need to write, edit, and fact-check in one streamlined environment, helping you stay productive and ensure every piece is accurate and credible. It also provides grammar & suggestions based on writing style & locale, along with personalized analytics. We also support google drive integration, our google auth is in the process of getting approved. Rich text editor and chrome extension is also in development.

For businesses and teams, Factful offers custom B2B features tailored to meet organizational needs. These include advanced usage analytics, dev API, and and an admin dashboard that allows team leaders to oversee account settings, manage workflows, and customize Factful’s toolset for their specific goals. Whether you're working on internal documentation, marketing materials, or research-heavy projects, Factful enables seamless collaboration and high-quality content creation across your team. We also offer a custom fact-checking AI model to correct employee-written text on internal knowledge set (invoices, company policies, receipts, etc.)

One of our standout features is the inline forward-slash commands, which make your workflow even faster. Commands like /search (for web lookups, including academic papers), /translate, /paraphrase, and /synonym or /antonym help you research, refine, and adjust your writing seamlessly (many more to come!) Here’s a guide: https://docs.google.com/document/d/1Ovm2b5KOke7Ng94P5MVTDSyJ...

For a limited time, we’re offering free premium access so that everyone can try out these features at no cost. We’d love for you to give Factful a try, whether you’re an individual user or a business looking for smarter writing solutions. Your feedback has been invaluable, and we can’t wait to hear more! Thanks for helping us make Factful the best it can be!
I don't know of anything that's exactly what you're asking for, but there are open source "incident command" / "incident management" packages out there. Not sure if any are actively maintained or up to date or not though.

There's some stuff here, but it doesn't look like it's gotten much love lately.

https://github.com/hadrsystems
Try pluralizing "time series". You won't get far.

So what I've seen in Finland is people using "time series" for the plural and "time serie" for the singular.
Knowing someone inside an organization is corruption?

I don’t buy it; please explain how having human connections is corrupt.
Your comment here indicates that you're just too young to have heard it every single day, twice a day, throughout your childhood as it inexplicably got constant airtime.

So your argument is basically just a no true Scotsman.

I grew up listening to it. I still enjoy it. I also still enjoy Rock Me Amadeus, and Kashagoogoo's Never Ending Story theme, too.

I was ten. How old were you? I ask because your recollection has strong "seething teen" energy.
Try podman kube generate and podman kube play. Podman can generate a Kubernetes YAML, and then you can run it with kube play.

I use it together with systemd in my home lab. It's Kubernetes for single node and without the bloat. I love it!

https://www.redhat.com/en/blog/kubernetes-workloads-podman-s...
I would have thought that the teaching comes before the test, and that the test is really just a way to measure how well the student soaked up the knowledge.

You could take pride in a well crafted technology that could mark an assignment and provide feedback in far more detail that you yourself could ever provide given time constraints.

I asked my partner about it last night, she teaches at ANU and she made some joke about how variable the quality of tutor marking is. At least the AI would be impartial and consistent.

I have no idea how well an AI can assess a paper against a rubric. Might be a complete waist of time, but if there were some teachers out there who wanted to do some tests, I would be interested in helping set up the tests and evaluating the results.
There was a study that suggested that the motor cortex can remember even if short term memory conversion was destroyed.

If nothing else, myelinization counts as a form of memory. Strengthened by reuse.

I would love to know if those warm feelings are stronger with individuals who remind you of someone you used to know. “This nurse reminds me of Aunt Sarah, who was nice to me when my dog died.” And so forth.
From the guidelines [1]: Please don't sneer, including at the rest of the community.

1. https://news.ycombinator.com/newsguidelines.html
Holy moly, that meme about type checkers and variable names, someone is arguing for hungarian notation in 2024?!
Diesel Tuners Indicted for Smuggling $33M in Defeat Devices into US
My only problems with Podman is the lack of up to date repos across systems, the fact that the latest raw binaries are managed by a maintainer out of the goodness of their heart, and that the VS Code extension ecosystem for managing pods is not integratable with the existing Docker stuff (and the replacement extensions are woefully underdeveloped).

Otherwise it honestly is great and preferable over Docker.
Hey Cosmin long time!

I agree the contract should be clear up front. Changing expectations later is a big problem. People want to give away the software for a while, using it as a loss leader to get attention while not being honest about their later need for money to fund the ongoing concern.

I tried to write a little bit about that in my post here: https://www.batteriesincl.com/posts/fairsource

I was starting Batteries Included and had been writing it in Elixir. I want to give back to the community, show how to use Phoenix/Live view, and be transparent about what users are running, etc. However, I also know that if this will work long-term, I can not give it away to everyone forever. So it's better to be honest about things as early as possible.

We paid a very smart lawyer to draft the best compromise we could as early as possible.

https://www.batteriesincl.com/LICENSE-1.0

This means we can develop in the open here: https://github.com/batteries-included/batteries-included while also giving it away long term and still being honest that this will require some long-term revenue stream. That revenue stream will come from the companies using it on larger installs.
Wait, is a phoney fraudster an honest person?
I want to switch to podman. What are the general gotchas and difficulties you could see in doing that for multi architecture+os builds/deployments?
More data and more compute on simpler models are the BItter Lessons of Rich Sutton
From what I can gather online, US citizens can indeed legally bet on elections: https://www.nbcnews.com/politics/2024-election/election-bett...
>"A law mandating people who feel stressed in the workplace need to unquestionably be given WFH rights would not be abused"

Lets get this off the table now. I didn't propose one, I'm not saying one exists, and that would be a shitty law because there are better ways to go about this anyway.

However, there are multiple instances where there are medically valid reasons where working from home is an appropriate accommodation for people. That is different from what you're saying. Extremely different. Disability should never be accommodated based on blanket actions, each situation tends to be unique to a person, and so is the accommodation requested

have you ever had to disclose a complex disability to an employee and seek ongoing accommodations for it?

>People will abuse protections meant to help others in need if it also benefits them.

Never argued they won't, but unlike medical marijuana and a host of other examples, there is strikingly no person actually coming forward with any evidence that people are rampantly abusing disability accommodations in the work place.

These laws already exist, and they already have decades worth of guidelines and such to go off of. I simply don't believe its a widely abused system. Its not a simple nor as private as doing any of the myriad of things people keep giving examples of.

You have to disclose it at your place of work, which means HR and your manager at a minimum will be aware of it, and on top of that, there is a long stigma of people with disabilities being discriminated against in the workplace, so its not exactly behooving of your career goals to do this either.

If anyone could reasonably come forward and show that there is actually more than hand wavy fears about people abusing laws around requiring disability accommodations in the work place to such a degree one could reasonably say its rampant, I'm all ears.

I can't find anything about that, I haven't observed that.

But i sure have observed a bunch of people who most likely do not have disabilities try and tell me, a person who absolutely has to do the thing of disclosing a disability in the workplace for proper accommodations, that I need to go through even more hoops and checks because I might be somehow taking advantage of the system. That I see alot.

At the end of the day, what if people were? Why does it matter? Can someone show me why defaulting to making the workplace more disability friendly is actually a problem?

The nerve of this community
Yeah... most dark chocolate has lead, the super expensive $5 bar might have the highest levels. Feels like they are targeting Lindt explicitly instead of going after the entire chocolate industry for being negligent about removing heavy metals.

Ghirardelli actually posted some of the lower lead/cadmium levels across dark chocolate.
If I'm shopping for an accountant I will present them with one or two cases and see how they would reason about them. It's not as easy to do with a physician.

The main difference between those professions and people who build software for a living is that they have organisations that predate modernity that keep tabs on their members and kick them out if they misbehave.

We should absolutely build such organisations, but there will be intense confrontations with industry and academia when we try, because capitalists hate when other people unionise and academics think they're the best at evaluating peers.

It's fine that your personal projects aren't polished products. They show your interests and some of how you adapt to and solve problems. It's something you've chosen to do because you wanted to, and not something you did because you were pressured by profit. The everyday grind at work wouldn't show what you'd do under more exceptional circumstances, which is where your personal character and abilities might actually matter, but what you do for fun or personal development likely does.
All of these hacks do sound like we are at that diminishing return point.
According to the article, he said it could be achieved in 2025, which seems pretty obvious to me as well even though I don't have any visibility into what is going on inside those companies.
Looking at LLMs and thinking they will lead to AGI is like looking at a guy wearing a chicken suit and making clucking noises and thinking you’re witnessing the invention of the airplane.
Material damage would be collecting money by spreading lies about dead children…1.5billion sounds perfect.
Or get a dishwashing machine?
It was always mandala effect. The fractal like nature of mandala characterize the wispy tenuous nature of ones memory.
Great, the dead internet theory is being backported to landlines.
I appreciate your authentically cynical attitude.
Social anxiety is a self-reinforcing loop. My therapist says the main thing I need to do to become socially confident is to just get out there and get experience. But my anxiety is itself based on worrying about screwing up because I don't have that experience. Things like this give me a little more knowledge that gives me a little more confidence that I can use to go out and get more experience
I don't think we've even started to get the most value out of current gen LLMs. For starters very few people are even looking at sampling which is a major part of the model performance.

The theory behind these models so aggressively lags the engineering that I suspect there are many major improvements to be found just by understanding a bit more about what these models are really doing and making re-designs based on that.

I highly encourage anyone seriously interested in LLMs to start spending more time in the open model space where you can really take a look inside and play around with the internals. Even if you don't have the resources for model training, I feel personally understanding sampling and other potential tweaks to the model (lots of neat work on uncertainty estimations, manipulating the initial embedding the prompts are assigned, intelligent backtracking, etc).

And from a practical side I've started to realize that many people have been holding on of building things waiting for "that next big update", but there a so many small, annoying tasks that can be easily automated.
OpenMP is one of the easiest ways to make existing code run across CPU cores. In the simplest cases you simply add a single #pragma to C code and it goes N times faster. This is when you're running a function in a loop with no side effects. Some examples I've done:

1) ray tracing. Looping over all the pixels in an image using ray tracing to determine the color of each pixel. The algorithm and data structures are complex but don't change during the rendering. N cores is about N times as fast.

2) in Solvespace we had a small loop which calls a tessellation function on a bunch of NURBS surfaces. The function was appending triangles to a list, so I made a thread-local list for each call and combined them after to avoid writes to shared data structure. Again N times faster with very little effort.

The code is also fine to build single threaded without change if you don't have OpenMP. Your compiler will just ignore the #pragmas.
Sometimes: https://support.deepl.com/hc/en-us/articles/14241705319580-N...
Certainly "there should be one, and preferably only one, obvious way to solve a problem" hasn't been the case for a while, or maybe ever. See: tfa.

Perhaps it's just because I'm not Dutch.
Uh, symbols and math??? Uh, as I read mathematical physics, I get the impression that certain symbols in certain equations are accepted throughout physics as already defined. But in math, we have, e.g.,

"For the set of real numbers R, some positive integer n, and R^n, with both R and R^n with the usual topologies and sigma algebras, we have function f: R^n --> R, Lebesgue measurable and >= 0."

That is, in writing in math, a popular but implicit standard is, each symbol used, even if as common as R and n, is defined before being used.

Sooooo, right there in the math writing, the symbols are defined. Or, right, an author might assume that the reader knows what "the usual topology" or "Lebesgue measurable" are but does not assume the reader knows what the symbols mean. I.e., the issue is not something about helping readers with their knowledge of math but, instead, just being clear about the symbols. Or, can assume the reader DOES know about the real numbers but does NOT assume that R is the set of real numbers -- and correctly so because R might be the set of rational numbers, some group (from abstract algebra), nearly anything.

Again for physics, E = mc^2 and J = ns^2 are not the same, not within the standards, maybe even if say J is energy in Joules, n is mass, and s is the speed of light!!!
Please, do it :D

> Except the change the EU is trying to encourage with this ruling is really absurdly dumb. It's clearly and transparently rent seeking.

No it's not. It's as any other regulation that tries to prevent overusing ones power.
I must confess that I have an irrational fondness for the use of weird symbols in math and technical documents, whether it's for a homework assignment in school or a white-paper for work.

My unit tests are literally full of hieroglyphics. My favorite design doc to this day is one where I sprinkled Sumerian cuneiform throughout the text, e.g. 𒀭𒄑𒉋𒂵𒎌 and 𒂗𒆠𒄭 (Gilgamesh and Enkidu) instead of Alice and Bob.
It's a consequentialist sort of "worst": (lack of) artistic quality multiplied by exposure and impact. Couple that with how hard aesthetic quality is to assess and you get some odd lists.
Podman actually works really well. Out-of-the-box virtually-no-configuration-needed rootless containers. It's also usable via docker-compose with a single env variable. (podman-compose wasn't up to par for us)

We've been using it for a couple of years running and managing hundreds of containers per server - no feeling of flakiness whatsoever. It's virtually zeroconf and even supports GPUs for those who need it. It's like docker but better, IMO.

Hope it gets a popularity boost from CNCF. Rooting for it.
Why 5 years?
whooooossshhhhhhhh

Edited, to respond more substantively with a quote from your source:

>Linguist George Lakoff has written that the term is a pejorative mainly used by American liberals to refer to people who vote conservative against what liberals assume to be their own interests and assumes they do it because they lack sufficient information. Liberals, he said, attribute the problem in part to deliberate Republican efforts at misinforming voters.
Just wait until we have AI agents finding optimizing for click through rates.
It's not a matter of training but design (or in our case evolution). We don't want to live, but rather want to avoid things that we've evolved to find unpleasant such as pain, hunger, thirst, and maximize things we've evolved to find pleasurable like sex.

A future of people interacting with humanoid robots seems like cheesy sci-fi dream, same as a future of people flitting about in flying cars. However, if we really did want to create robots like this that took care not to damage themselves, and could empathize with human emotions, then we'd need to build a lot of this in, the same way that it's built into ourselves.
They are literally explicitly stating that the software does not claim to be fit for purpose.

You can’t have it both ways.
Thanks! That's helpful context.
Would this work for someone with dementia as well?
Golang really is the best when it comes to backwards compatibility. I'm able to import dependencies from 14 years ago and have them work with 0 changes
... except it has, on many occasions. Seeing neo-nazis at conservative rallies is a much more common event than it was 20 years ago.

And before anyone says, "well you call everyone neo-nazis!" Erm, self-proclaimed neo-nazis. They call themselves that.
Prediction markets are evidence of nothing but what people believe is true, not what is true.
1. Rewrite someone's copyright content.
2. Put Ads.
3. Profit.
>> RGB light does actually ‘combine’, physically, before we ‘perceive’ the color.

We might be arguing semantics but I'm going to say no, they do not physically combine before we perceive the color. This is supported by the link you provided on metamerism in a related comment.
And "corruption" is an interesting way of saying that you don't think personal connections should pay into business decisions but I realize many folks in tech roles think that way.
That picture doesn't even have anything to do with the contents of the post either.

Reminds me of the image attached to Karpathy's (one of the founding members of openAI) twitter post on founding an education AI lab:

https://x.com/karpathy/status/1813263734707790301

I just don't understand how he didn't take 10 seconds to review the image before attaching it. If the image is emblematic of the power of AI, I wouldn't have a lot of faith in the aforementioned company.

If you're going to use GenAI (stable diffusion, flux) to generate an image, at least take the time to learn some basic photobashing skills, inpainting, etc.
Yes pain and suffering caused by lies used to radicalize people about a tragic event. Cute little caveat you’re willing to carve out in your head for lies, though.

Still waiting on your more appropriate number.
> Why does knowing how things work under the hood make you think its not on the path towards AGI?

Because I had no idea how these were built until I read the paper, so couldn’t really tell what sort of tree they’re barking up. The failure-modes of LLMs and ways prompts affect output made a ton more sense after I updated my mental model with that information.
If you take evolved literally as number of years of evolution, then the ants are more evolved, since they were there before humans. Of course, I meant evolved not in that way, more as civilized indeed, but also that trait is hard to define.

Indeed humans have the high score in collective aggresiveness. Group think and influencing large amounts of people appear to be the greatest strength and greatest vice at the same time of humans.
Speeding up the Rust edit-build-run cycle
You would be surprised how many people have no idea what "machine learning" means (not even technical definition but just as in the field). I'm working on a PhD in an adjacent field and basically have to tell people I work in AI for them to have any semblance of what I do.
Technical note on initial diagnostics of the GGreg20_V3 module with J305 tube
I build my frontends with HTML using gomponents. The jury’s still out about how far I can get with just Go while incorporating LLMs into my apps, but I’m optimistic!
Not in the original training set (GP is saying), but the necessary skills became part of the training set over time. In other words, human are fine with the training set being a changing moving target, whereas ML models are to a significant extent “stuck” with their original training set.

(That’s not to say that humans don’t tend to lose some of their flexibility over their individual lifetimes as well.)
Saying its logical doesn't make it so.
Neil Sedaka's Bad Blood is pretty awful in my book
IMO a well rounded individual won't have much time for personal projects while working a full time job. They might be really good at writing code though.
I'd also like a similar solution for non-lawyers reviewing legal docs. I review dozens of legal docs each year. My cofounder reviews even more. We switched to Bonterms last year to adopt some SAAS standard templates. However, there are still a bunch of edits and iterations on the templates per customer. I want an easy solution that makes it easy to work through the changes.
Because he did not get the job for what he knows, but who. Another candidate of equal knowledge, without the privilege of his connections, would not have succeeded.
Solution Street | Herndon, VA (Washington, DC Metro Area)
Remote & Hybrid positions - USA only.
Send your resume (please mention Hacker News) to: Cristina Little (Recruiting Coordinator) clittle@solutionstreet.com

We are a software consulting company based in Northern Virginia.

Our Website: https://www.solutionstreet.com/

Our Current Roles:

* Lead .NET Developer: Hybrid - must be able to attend in person twice a week in Reston, Virginia. Experience with C#, ASP.NET, .NET frameworks, and SQL Server. Experience with Web APIs and API integrations. Experience with Message Queues, PubSub.

* SiteCore Developer: Hybrid - must be able to attend in person twice a week in Reston, Virginia. Seeking a developer with extensive SiteCore experience. Preferred additional skills: Experience with C#, ASP.NET, .NET frameworks, Microsoft SQL Server. Experience with Web APIs, and PubSub model.

* Momentum C++ Developer: Remote - We are seeking a Senior C++ Developer with prior CGI Momentum development experience (*this a must have*) to work on a high-impact, client-specific engagement. You'll collaborate with the ERP product team in an agile environment to deliver new features and resolve critical issues.