skysight-inc/HackerNews huggingface dataset:
>> I've had to write short inductive proofs in several of the systems I've built.

In what context was this necessary?
post-coffee, it occurred to me that i do have an alternative setup for authoring latex documents that greatly reduces my time spent writing latex — it’s org mode. I can hammer in some raw latex the way you can inline html in markdown, if i have to, but for the most part i don’t need to.

someone once described this to me as “treating latex as the IR” which seems relatively correct; for me, it’s a nice way to square the circle of “i want *.tex eventually, but i’d like to write it without as much fuss”.
Right... but do you? Or is this all just a game of syntax that _feels_ like semantics from the inside?
I primarily do direct mail which is tangible. But the margins are thin and postage is such a big part of our cost that if a customer was going to skip payment we’d need 10 new orders to cover the loss.

So it makes sense to never extend credit.

I do think it’s very industry specific and food / retail as one of the worst.
I thought the title read "encrypted (DNS and NTP)", e.g. "encrypted DNS and encrypted NTP".
Super happy they unloaded the overstock! What an incredibly stressful time, been there before and it can feel like the world is crumbling.

In a past life, I ran a small business selling lip balm to small grocery / specialty stores. It started small and then with some good ol' fashion cold calling, we got into more and more stores. Eventually direct store sales is too much for a handful of folks to operate (and if your goal is to expand outside of your local region).

The next step (which they are at) was to start working with one of the big distros (I'm guessing for them it was UNFI or KeHE). You eventually get to a point where most buyers at larger store chains (Kroger, Whole Foods, etc.) eventually just want to streamline their ordering, which means moving to a distributor (also the Regional / National buyers for the categories eventually just push that way if your sales are growing rapidly).

Looks like they mentally had gotten to that point and did the right thing, find and expert to take you there.

If I had to guess on how this whole issue actually went down, the broker / consultant negotiated all the terms with the distro and basically they (the biz owners) didn't clearly read the contract details (putting all your trust in the expert without much verification). I was in that same position once and learning the distributors industry terms is tough to figure out without outside resources / guidance. As they write in the post, the broker basically let them down, while they equally leaned on the broker too much for obfuscating industry knowledge.
I had similar lessons in an intro Accounting class I think, they compared the common "2/10 Net 30" payment terms, where you could take a 2% discount if you paid the invoice within 10 days. Annualized, that's a ridiculous rate of return and you'd be foolish not to do it if you have the cash on hand.

If the terms are simply "net 30" with no early payment discount and no late payment penalty, there is no incentive for the customer to pay on time.
> The output of a trained AI is insufficiently creative to be copyrighted. Only humans can hold a copyright.

That's overgeneralisation. A language model alone, yes, is just derivative. But a language model trained on solving problems with reinforcement learning can surpass humans. For example AlphaGo and AlphaTensor are models that learned from running simulations.
Ask HN: What happens if everyone invests in Index funds and stop day trading?
>Reminds me a bit of folks who steadfastly avoid SQL. You have to change the flow in your brain; there's more than one flavor of flow. For regex, it's the watching for single character match with optional modifier. For SQL, it's thinking in terms of sets, not instructions.

I'm one of those people, SQL just doesn't fit in my brain right :(
Is that what neuroscientist and machine learning people are saying? Because I've heard there are significant differences between actual neurons and digital neural networks. Anyway, I think analyzing knowledge at the level of neurons misses the bigger picture. We learn from interacting with the world and other people via bodies, not vast amounts of textual tokens.
amazing, can you write a full blog post about this.I want to do something similar.
> gammastep

Nope, wrong, this doesn't work for KDE or GNOME or most of the big compositors for that matter. There really is no standard way as I mentioned in another comment. Anyway, from the gammastep README:

> Why doesn't this work with Wayland compositors like Mutter, KWin, Mir, and Enlightenment?

> This program supports the wlroots protocol for gamma adjustments, but several Wayland compositors do not support this protocol. GNOME and KDE have their own built-in mechanisms for adjusting color temperature on Wayland.

For GNOME, I might as well say here for reference, using gsettings to adjust the keys in org.gnome.desktop.a11y.magnifier seems to work for now, but I'm sure they'll find a reason to remove that soon enough.
This is the result of revolving door (collusion between DOJ attorneys and private law firms). Where would these DOJ attorneys go if they want to get out of DOJ? The same private law firms in DC. That's why mega crops, uber wealthy have these law firms handle stuff for them; with a casual meeting at common friends' party, the private law firm attorney 'tells' DOJ guys what to do. And DOJ guys take it from there.
1. Increase funding for other agencies and programs that deal with causes of crime and poverty

2. Fire all or most police officers and administrators and rehire based on different criteria

3. De-escalation training and zero tolerance for escalation

4. Stop protecting killer cops. Get rid of qualified immunity and every cop needs insurance coverage.
Whether GC improves productivity is a strong claim that needs a proof. I have yet to see such a proof.

So far my experience has been that (nondeterministic) GC is only a productivity improvement over languages with manual memory management like C, but a productivity degradation over languages with deterministic automatic memory management like C++ and Rust. GC manages only memory, while in the latter case, you get automatic management of resources of any type, which can be a huge productivity boost if you use it to your advantage.
Journalists write about what is newsworthy, not what personally offends them.
Another example of how the marketing is lousy. Some people strenuously say "No, it doesn't mean remove all funding entirely, that would be insane, how dare you interpret it that way?" and others say, "That's exactly what we mean."
Rust seems to have a lot of C++ influence to me, specifically later C++ where RAII and smart pointers became the norm. This makes sense that it came out of Mozilla, who have always had large C++ code bases.
So the greatgrandparent can at best say they have never had symptomatic flu. They cannot confidently say they have never gotten the flu. It is flawed reasoning to use no symptoms of flu = not gotten the flu = not getting vaccine.
What they’re worth. Being a low social IQ class, they’re perpetually underpaid. Which affects my pay.
They call this factoring in the trucking industry.
Writing code, compiling it, and fiddling with it until it’s sufficiently robust to handle most typical edge cases when rendering text in a menu bar is more efficient than writing on a Post-it note? Really?

I think I would have gone with the Post-it. Or a file on my desktop. Even the data in the Post-it note is persisted in the event of power failure!
See my comment in this thread about how ChatGPT thinks that sailfish are mammals. I possibly have never read the classification of sailfish explicitly in a book or a documentary, but I could have classified it as a fish any time of day. For one it's in the name, and furthermore I can imagine with high probability that baby sailfish do not drink milk from their mothers.

I don't know if the knowledge in an LLM is stored like in my neurons - I know nothing about neurobiology. But after having used ChatGPT extensively I can certainly tell that ChatGPT does not mobilize knowledge like humans.
> There is not much difference, honestly.

Except on raw power, and this is an architecture where processing power and memory lead to each other, so it's missing a lot of raw memory too.
This is a Southwest thing. Not a police thing.

Southwest told the people to leave, and then called the (airport) police to clear them out.

I mean, there were no options here for the officers. They asked people to leave. They said "No", so they offered them the next option which was arrest for trespassing. The one officer even followed up to clarify with the passenger that her ticket was canceled and that she needed to leave.

It was a lousy situation all around, and it mostly falls upon Southwest.

The police were not the "bad guys" here.
These Executives are restricting the screen time of their children for a number of reasons. Some executives, like Evan Spiegel and Sundar Pichai, grew up without much access to technology and credit the technology restriction to their success. They may want to replicate this experience for their own children. Other executives, like Steve Jobs, value face-to-face conversation and interaction and believe that technology can be a distraction from these types of interactions. Some executives, like Susan Wojcicki, want their children to learn how to manage technology responsibly and balance screen time with other activities. Others, like Alexis Ohanian and Serena Williams, want to limit their daughter's screen time as she gets older to ensure that she doesn't become overly reliant on or addicted to technology.
In the USA, between the Electoral College, state-level gerrymandering, and a strong tendency for conservatives to be much more organized and disciplined , any effects may not show up.
The Twitter posts are as relevant as posts could possibly be for a SV tech-oriented discussion forum.
> People have a strange tendency to enjoy being rewarded for work they've done.

Did you not read: "The United States government employs more knowledge workers than all other companies (see NIH, DoD, CDC, NASA, NOAA, NWS, et cetera). Everything they produce is public domain, by law. And yet, the people producing these information products still get paid!"

These laws are counterproductive and have terrible second order effects, and are cruel to everyone except a tiny % of the population, just like slavery laws.
Do Bumble Bees Play?
Which would you pay more $ to keep?
> Longer-term, the Australian study found that any parent-reported improvements in sleep from sleep training disappeared by age two.

> > What we found when the children were six was no difference to their sleep and no difference to their behaviour – Harriet Hiscock

It's not about long-term effects. It's about the parents getting to actually sleep.

We did sleep training as per What to Expect the First Year. Others we know spoiled their babies so much that now that their babies are toddlers, the "babies" still sleep with the parents -- I'm talking about people for whom it was not a cultural thing to let their children sleep with them, nor necessary due to lack of space or anything.
I've been using ChatGPT for basic medical questions that I've been having a hard time getting details on with google. So far the responses I've been getting have been quite informative with sound reasoning.

I'm just using it as another tool. I'm not taking the responses at face value, but instead using them as a guide to help me do more research elsewhere.

Yes, I've discussed things with a doctor as well, but if the symptoms are too general, I don't get very far with that approach.
I work in wholesale, but a different industry (electrical) and this is 100% wrong from my experience. Varies from business to business but often times our POs go out for single units rather than cases. It's actually a huge headache for us as we can't get the team responsible to keep our ERP system up to date on which units to use for which lines.
Haha, imagine they make all the noise now and get language models to solve attribution, but as a side effect all human plagiarism that is hiding in plain sight will be revealed as well. Be careful what you wish for.
In what sense is Edge Chrome?
I wouldn't let its native support pigeonhole it as a React Native-only library.

In my experience, it rivals other web-only libraries, especially with the compiler.
The distributor got a free option on coffee that they didn't end up using.
People with a darkness at the center of their being, I’m afraid.
There's a clear difference between an output string that matches 10's of tokens from training data and one that is synthesized from the statistical regularities of the training corpus as a whole and so will not match any input data past a few highly informative tokens (ie ignoring structural tokens). The computational dynamic of doing synthesis should be noticeably different from doing verbatim copying. For one, the statistically relevant context for doing synthesis is much larger than doing verbatim copying. The prior 5 tokens may be sufficient to determine that the continuation should be the verbatim copy (eg quake's fast inverse square root). This difference must be represented in the network activation patterns in some form or another. I don't know what this difference is, but I know it's there.

The case of genuine synthesis is the best case for code generators and aren't the cases where people are expecting attribution.
The button on Canon’s image-stabilized binoculars
Nobody is saying these models are trained the same way humans are. I am just saying that during their training task (predicting the next word) they end up developing human reasoning. That of course wasn't obvious before these large models appeared. But now it's pretty clear that's the case. It wouldn't be able to perform so well in so many tasks if it didn't have something resembling reasoning capabilities.
Just writing and reading to a file and a list where you can check off elements pretty much
> Where js the indignation over them only supporting one

Most of those companies sponsor many projects.

> I posit that there either is no moral duty as supposed, or its been fulfilled by the single sponsorship

Maybe but the issue in OP is that Apple has specific hardware requirements and various OSS developers are struggling to support M1 chips without paying out of pocket to support them. Whether it's moral or not, there is definitely a logistics issue between Apple and the very real and very important OSS communities.
>The core mission of the police is to protect and serve the general public. Not to serve the whims of Southwest Airlines.

This is a fundamental misunderstanding of American/capitalist society and of history. The police exist explicitly to protect businesses and have no obligation to the public. They were founded explicitly to protect businesses and the wealthy.

https://sites.uab.edu/humanrights/2021/12/08/the-history-of-...

https://mises.org/power-market/police-have-no-duty-protect-y...
Tesla started offering on Oct. 19, 2016 a "Full self-driving capability" option package requiring a $5,000 Enhanced Autopilot feature as well as a $3,000 Full Self-Driving Capability feature [0]. The "FSD" package now costs over $15,000. Moreover, the "FSD" option cannot always be transferred to the buyer when you sell the car [1].

According to this article, 285,000 people have purchased it.

Yet "Full Self-Driving" is nowhere near delivering anything like it's promise, many say it is not worth the price [2], and this failure is currently under several federal investigations.

It's been 2263 days since the "FSD" introduction. That amounts to 125.9 FSD sales per day, or about 12.5/ hour (in 10 hour work days), or one sale every 4.8 minutes.

P. T. Barnum is credited with saying: "There's a sucker born every minute"

Tesla is doing an excellent job of validating* P. T. Barnum's claim.

[0] https://www.consumerreports.org/autonomous-driving/timeline-...

[1] https://www.findmyelectric.com/blog/does-full-self-driving-f...

[2] https://www.cnn.com/2022/09/07/business/tesla-fsd-price-incr...

[*] while one sale per 4.8 minutes is greater than 1/min, we do need to consider that most suckers cannot afford, and are not in the market for, a premium car such as a Tesla.
> era of free banking in the US, banks issued their own currency

The free banking era illustrates the problem. Rates are endogenous to the money supply. That circularity promotes a hyper-volatile credit cycle. There is no natural counter-balance we’ve discovered to that tendency. (Apart from ruinous boom-and-bust cycles.)
My issue is not that it shames the target, it's that it implies that "small dick = bad" and "big dick = good", and perpetuates the idea that men with small penises are inferior. It would be the same if the phrase were "short person energy", we don't need people feeling bad about their height.
Indeed. I worked at a Canadian company that got a legal nastygram from the professional association saying to stop calling us engineers.

Then I started working for an American company that was like shrug no laws against that.

I just can’t say professional engineer.

The whole thing makes a ton of sense when we’re building bridges or airplane safety rated computer systems, but not so much when building websites or whatnot.
Overloading is miserable. C++ has to provide this as an overload because it still, decades after standardisation and half a lifetime after it was created, doesn't have a way to just extend types.

If you can just extend the types then you can provide operators that way and there's less opportunity for ambiguity. See Rust.

Also so many of the C++ operator overloads are broken instead of just not existing, which tempts you to overload things instead of saying "Nope, that's a bad idea" and just walking away altogether.

Example, boolean short-circuiting AND and OR. If we write

if (this() || that()) foo();

in C++ then that OR is short-circuiting, so that() won't get called if this() is true.

But if the return type used overloads the boolean OR operator, short-circuiting is disabled, and now both this() and that() are always called...
As far as I can tell, the difference is past counterculture was about punching up, not down.
"How about we vindictively hold onto OpenOffice and then gift it as a white elephant to the Apache Software Foundation instead?"

— Larry Ellison, probably
Postulate a spherical washing machine.
Absolutely not: Alexandria Ocasio-Cortez, the congresswoman, clarified in an interview that “Defund the police” meant precisely “DEFUND the police” and should NOT be reinterpreted to suit one’s imagination.

Source: https://www.washingtonexaminer.com/opinion/aoc-defund-the-po...
And I don't see any fundamental reason to believe that language models can learn or reason at all.
If you're newscomer, come to the docs and the codebase, there's no example at all. The docs is not helpful.
I'd love to hear some physicians' takes on this.

I have a romantic notion that good physicians look at additional clues to figure out when the patient's complaints or answers are red herrings.

And that the physicians have some useful context from location, news, experience with the patient, etc. that a modern AI wouldn't.
It is hard to overestimate just how scarce even the median human doctor competency is, at the global scale.

If large language models indeed can give billions access to mostly-reliable medical diagnosis ... it will be a huge humanitarian win.

Honestly, I hoped that this company https://www.humandx.org/ will make it real, but at same point they apparently pivoted to providing app-based quiz training to doctors.

Maybe just taking an off the shelf instruct-tuned language model and tuning it on expert-curated corpus of doctor-patient dialogue is the right way of approaching this. Someone will do it, it's not even as costly as people imagine.

Email me if interested.
The fact that the market can still do this (reduce supply to operate in the high margin quadrant) is a temporary blip due to the x86 duopoly. Soon anyone will be able to supply cycles/$ at a better rate than the entrenched players.
Remember this is equivalent to raising the MSRP by $1,500 and saying the car comes with the first three years for free.
Love this idea. Could you just expand a little on PlayOS? It's this running an underlying OS which then boots into a bash console running your repl?

Just curious, would love to do something similar (or use yours if it was available!)
perfect, thanks for the pointer!
I love this kind of logging, I used an app called Daylio and before that some other website. Great for the days you feel down to look back at how many positive ones there are. And collecting the data often leads to insights about what makes for good days. Good luck with the app :)
> Based on these observations, I'd bet the house that no, large language models cannot under any circumstance reason about medical questions at present.

Wtf? It just did. Have you read the paper? Wake up.
It's a silly question to ask as the models can't reason about anything and know nothing about the world. They just return statistically relevant output to input and mash the output in such a way that there is no way to know if there ever was a corresponding human input or if it was completely mashed together from non-related inputs making it absolutely false.
These guys are a pretty big portion of grindset/hustle culture, which overlaps heavily with startup culture.

Beating a woman is certainly more visually shocking than stealing a rape victim's medical records but in a legal context I'd be hard-pressed to declare one "worse" than the other; and a vocal portion of HN defended the latter person and company during and for years after.
Simple build-it-yourself solution:

- Find a good RSS reader

- Add your favorite HN feeds via the unofficial RSS feed: https://hnrss.github.io/

- Block every article including 'Musk' or 'Elon'. Maybe throw in 'Twitter' for good measure too.

If you'd pay for this, I'd love to make it. It's legitimately effortless to set up.
That these are equivalent.
The reality is that ChatGPT, while not yet advanced enough to surpass Google, is just the beginning... Prior to ChatGPT, it was difficult to imagine a world without Google's dominance. Now it is very clear that Google has a real threat.

It's not just about ChatGPT version 1. It's about the potential for chatbot technology to bypass Google altogether. While the answers provided by ChatGPT may not be perfect right now, what happens when they are close to perfect? Why would you use a traditional search engine when you can get the information you need in a far more efficient manner?

Google isn't at code red right now because of ChatGPT V1 but because of the next 10 years of chatbots.

For me, I have already changed my searching behavior for a quite a few (not all) queries .. A lot of my queries these days go ChatGPT -> Brave Search -> Google. Google being third down the list for me.
Optics are the main reason for judicial process of SBF at this point, to dissuade others and for viewing by the victims. It's not like tossing him in jail is going to bring back the money he stole.
What does grok semantics mean, how would you test this?

I am not trying to argue that language model are close to human level reasoning or whatever, but it is not obvious to me that a language model of some sort is fundamentally unable to to achieve this.
The reason why families need two incomes nowadays is that our standards for what's "needed" have grown. You could live a crummy 1950s lifestyle in a second- or third-rate city or suburb and raise a family on the equivalent of a single income; and guess what, that's exactly what plenty of lower-income folks do already.
> When the Fed lost all credibility with exchanging their banknotes for gold, we had the Great Depression

This was not a cause of the Great Depression. (You are correct on the default, however.)