skysight-inc/HackerNews huggingface dataset:
Why do you think Dell bothers to put LTE modems in laptops? I asked about evidence regarding the patent and royalty situation that prevents Apple from delivering a similar product.

I am on my fifth MacBook Pro. My first Mac was the 12” PowerBook G4. I bought many more for my employees. I would like to upgrade right now, but it would only be a marginal improvement. If Apple shipped a MacBook Pro today with an LTE modem, I would buy it today, as it would help me with my constant travel.

I would like to open the lid on my MacBook Pro and immediately reply to the email I need to reply to instead of starting up the hotspot and waiting on it to download. iPad and iPhone can do this. That the laptop cannot is ridiculous.
Will Mojo speed up non-SIMD code?

Eg will Django/Flask/FastAPI run significantly fast on Mojo than Python as-is?
The recovery and preservation of ancient knowledge like the Vesuvius scrolls is a testament to the power of modern technology. Looking forward to seeing more breakthroughs like this!
Does this apply to the legacy pro plan as well?
When I search for “pizza hut”, I get: the info panel that shows Wikipedia intro and company social media profiles on the right, locations results and integrated map view as the second result. When I search for “pizza hut -site:pinterest.com”, I get none of those. In addition, results are listed in a different order.

PS: I'm blocking all ads.
>> Start here https://www.le-nouveau-clavier.fr/english/

That is an absolutely horrible idea. It might seem intuitive at first ("Just alternate keys!") but its impracticality becomes immediately apparent and is directly acknowledged in the site you linked:

>> There’s just one drawback: the monotony of such an arrangement. How can we find our way on such a keyboard? Recently, the French musicologist Laurent Fichet remarked: “This system would certainly be much more rational than the keyboard of today, but one may wonder how players would locate the different notes with such a systematic and uniform layout.”

The French version of the article then goes on to suggest many variations of ways to avoid being lost on a keyboard without any obvious pattern (the English version only lists one, briefly). Some include coloured keys.

It is beyond obvious that the simple, intuitive solution proposed at the start produces a cavalcade of complications none of which has a simple solution.

Not to mention: despite what the linked site suggests, learning how to position your fingers on the keyboard is the least of your problems when you learn the piano, just as learning to touch-type is the least of your problems when you learn how to code.

I vote no.
I’m currently researching what printer to buy and I was put off by the fact that the SV06 doesn’t have filament runout detection, so I’m personally considering the Elegoo Neptune 3 Pro instead which seems to have the features I would like in the same price range.
>For web apps perhaps.

Not even for web apps. You should see how much CPU time a python web app spends doing simple things like filling an html template.
It really isn't cheaper. Netflix pays $1bil/yr to aws. The only advantage streaming providers have is that you're already paying for an internet connection. But TV over internet solutions have been a thing for a long time so even this doesn't really matter. At the end of the day it's just bits going through a plastic tube from one computer to another. If anything, the 1 to 1 on-demand aspect of streaming would make this the more expensive option.
I would assume it's flat

A) if you're handling projections or doing geodesic geometry then there's a bunch of other stuff to do and you'd probably have to mention it.

B) it would be obvious in the codebase if that was a part of it there'd be mentions of projections or some sort of constants for spherical maths.

C) Projections etc are often very application specific afaik it's not really possible to generalise it safely.
I like to use the "Notes" section for that.

My slideshows tend to be very obtuse, on their own, but they make a lot of sense, if you read the notes (which are often a script or prompts for speaking).

Here's an example (Apple Keynote): https://github.com/ChrisMarshallNY/ITCB-master/blob/master/P...

The presentation doesn't have that many slides, has a lot of images and animations, and assumes that I'll be chatting away.
I've been looking for a personal finance app for a long time. I don't want a Saas that charges me monthly and can shutdown at anytime. Most other homebrewed apps are incomplete or abandoned. Of all things I ended up paying for an Excel sheet to track it all - https://cspersonalfinance.io/

This tracks all my cashflows, investments, net worth etc, and since it's in excel there's no risk of it disappearing after 10 years
Most interesting is how life is so different from fiction.

I mean, the premise for The Night Agent (Netflix) was a dedicated line monitored 24/7 just to help agents.

In real life, a downed pilot needs to call 911 and go through all the misunderstandings in that call to access an ambulance and other services.

Shouldn't the pilot have a dedicate number to call in case of an emergency?
I’m surprised they don’t do the SQLite model.

It’s Open Source code, but closed to contributions.

That would solve a lot of their problems because it allows them to show it’s open source, but not take contributions until they feel like it’s ready to get contributions from 3rd parties.
Not sure, you can have more customers but fixed number of issues. I am researching into it. You may crowdsource issue solving and have revenue sharing enabled.
Ha ha ha.

Plenty of OSS is created outside the USA. Good luck applying any such mandates.
The employee only have to care about their work and paycheck. Is they were paid to accommodate company needs, CEO wouldn't be paid 500 times the media pay and C-suite wouldn't be paid 100 times what I earn.
The existence of seL4 and its ability to be used in real projects certainly proves that formal methods has been effectively used to improve safety and security in shipping products, which was the question you asked if I understood it correctly...

> while the AIs are eliminating programming as a field altogether.

Where? So far, GPT-4 gets confused when given a specification with more than a dozen logic variables, and confidently regurgitates things that are, best case, partially working, and worst case, completely broken, based on a generative model trained on Stack Overflow and other forums. It's a cute concept, but it's closer to Eliza than eliminating this field. I can give it a logic problem that a freshman CS student can solve, and it will confidently give me the wrong answer. While I'm sure that LLMs will get better over time, I personally think their current application in software development has been over-hyped. There are plenty of papers, including the (in)famous "Stochastic Parrots" paper that are quite scathing. Based on my own tire kicking experience, I'm not convinced that LLMs can replace much more than boilerplate programming unless there are significant breakthroughs well beyond the current state of the art. Not incremental changes, but a complete reinvention of the current science.

You can be skeptical regarding formal methods, but I use formal methods daily. It adds roughly 25% overhead over just unit testing to model check software, which easily covers 95% of the code base. The important parts -- enforcing function contracts, data flow, resource management, and correct usage patterns for things like cryptographic primitives -- are actually quite trivial to implement using an SMT solver. There is difficulty when dealing with loops, recursion, data structures, and algorithms, but most code out there can be abstracted away from these concepts. Contract enforcement at the library and framework level are certainly possible using tools as they exist today.
I own a P1P and it just works™. If you are just interested in printing and not have a 3D printer itself part of your DIY activities, the P1P is a safe choice.
The new middlemen are cloud (unless you're amazon/google) and internet providers.
Does your consciousness disappear without proof?
LLMs trained on “A is B” fail to learn “B is A”
Show HN: AI Component Generator – Open-Source Component Generator
Hello, I’m super excited to introduce you to our latest open-source project: AI-Component Generator.

(This tool uses OpenAI's conversational models to let you create and update UI components by chatting with them.)

We believe this will simplify the design and development process in a fun, interactive way.

Check it out here: https://aicomponent.dev

Would love to hear your thoughts!
The vector is an image file. Put your image in a display ad, now you don't need the user to click anything
Thank you, I will take a look for this and give it a try.
This definitely fits with Grothendieck's philosophy: he basically ignored all work in this area, implicitly claiming it was trivial, while some of his closest friends and most famous student made huge strides with actual hard work - not quite things falling into place. In fact, the paper most famously proving the Weil conjectures has as an explicit target the coefficients of a modular form, uses an inspiration from automorphic forms theory, and is infamously Grothendieck's greatest disappointment.

There is rich structure in this area of maths that goes well beyond just sections of some sheaf, or at least this is what Serre, Deligne, Langlands, Mazur, Katz, Hida, Taylor, Wiles and many others seem to think.
The 900 pound gorilla in this space is react and vue seems to be fatally attracted to that model. For my taste and needs alpine.js embodies the true vue :-)
From the FAQs https://docs.modular.com/mojo/faq.html

> Why not develop Mojo in the open from the beginning?

> Mojo is a big project and has several architectural differences from previous languages. We believe a tight-knit group of engineers with a common vision can move faster than a community effort. This development approach is also well-established from other projects that are now open source (such as LLVM, Clang, Swift, MLIR, etc.).

Given Chris Latners previous achievements I think we can trust this call a bit more than we may with some companies.

I wouldn't use it myself until open sourced.
https://archive.ph/e99Ol
The simplest Email-to-Webhook service on the web
Get email address, attach endpoint URL, done. No need for bulky tools.
While I could see making this a requirement for USG usage, it seems like pretty big overreach outside of that. It would also interfere with the steady supply of 0days the NSA et. al. need.
Even worse, I can confirm that logging in is not sufficient, despite what the initial call to action seems to claim.

After logging in the article is still incomplete and the dialog is changed to one prompting the user to "upgrade", meaning payment.

This seems like a dark pattern to me.
"Wholesale power prices in the national electricity market across the eastern states dropped to as low as -$64 per megawatt hour last Saturday, when soaring output from millions of rooftop solar panels flooded into the system."

However, the actual reality is, simply, outrageous. Recently, I received a letter from my electricity provider EnergyAustralia stating that my electricity bill was going to be increased by about $310 per year (based on my current usage). Then only last week I received another letter advising that there had been an error and that the estimate had been increased to about $342.

Given that Australia has energy in abundance, I am absolutely furious that the Government (governments) have sold out citizens to Big Business over both electricity and gas prices. Power prices were already sky-high before this announcement. We citizens are being ripped off big-time and this article only goes to prove it.

I cannot understand why there isn't more outrage over this.

For some time I have been investigating solar cells and going off-grid altogether and hopefully that will come to pass. Even if it costs me more, I'll do so just to spite the bastards. If more acted similarly then both the useless regulator and infrastructure owners would be left with unprofitable egg on their faces.

Damn them!

_

Edit: Incidentally, Australia exports gas to the world to such an extent that one would think the supply was limitless yet there are shortages of gas in the eastern states, NSW, Victoria. We ought to be the laughingstock of the world when it comes to energy prices. BTW, don't be fooled over the need to go green. Greening the supply needed extra costs but the real reason for the huge price hikes in recent years is governments selling out to Big Business. What's happened is a fucking disgrace!
The Problem of Modelling the Mathematical Mind (2012) [video]
Show HN: Unlost – Semantic search your memory
Pretty excited about my first show hn.

Unlost is an app that lets you semantically search your memory. Similar to rewind.ai but more focused on searching experience.

Hit me
> The printer can't print things like ASA. Limited to PLA/PETG/TPU.

Why would it not print ASA? In my experience (I mostly print ASA, with PLA almost always used for prototyping), printing ASA is about as easy as PLA. 10-30 degrees hotter, less fan and possibly slightly slower speeds but otherwise just fine.

This printer seems to be rated to 300℃ which should give you a margin of over 60+℃ for ASA.
Without wanting to do any speculation how the current situation will ever end, but I always assumed that the first stage of nuclear escalation would be weapons tests - to exactly call this kind of bluff of the other side and to signal that the own side would be actually capable of performing a nuclear strike.

From what I know this was also what happened in the cold war - the nuclear threat back then was a lot more "palpable" than it is now, possibly because both blocks were already constantly launching nukes - they just weren't launching nukes at each other:

https://en.m.wikipedia.org/wiki/Historical_nuclear_weapons_s...
On topic of upgrades, here are a couple of tricks I've learned throughout the years which make the upgrade process easier.

1. Use Maven
2. Use BOMs to manage related dependencies
3. No lombok
Yes. The people involved in tech changed to a non-trivial degree over the last 15 years.

I grew up in a family that made software and I’ve been a professional myself for over twenty years.

The post-2008 cheap money era brought a huge influx of people that, at best, were not technology enthusiasts or tinkerers. A similar thing happened in the dot com era but a lot of those people got pushed out by the crash. We’ll see what happens this time.
Bambulab itself says it can't print ASA. I've the feeling that while the max temperature is 300 degrees, for some reason and with the volumetric flow that they set, the hotend is not able to keep up.
I skimmed through the document and don't see anything about them trying to force anyone to use memory safe languages. Looks more like "let's lead the way with using memory safe languages and good security practices, and think how we can encourage others to follow" which is a pretty good thing IMHO.
The article is trying to draw a parallel that doesn't make any sense to me:

> Tinder parent company Match Group Inc. has experience with high-priced subscriptions for some users. In 2022, it bought The League, an invite-only dating app that targets “ambitious, career-oriented singles.” The League has a VIP plan that costs $1,000 per week. The company previously said the success of The League’s high-price subscription made Match Group rethink how it could address “high-intent users” on its other apps like Tinder.

OK, that makes sense. High-income people can advertise their income to potential mates who are looking for that. The high price signals that you are ambitious and career oriented, or at least that if you aren't, someone who is might be interested in marrying you anyway.

> The new plan announced Friday, called Tinder Select, was only offered to less than 1% of Tinder users who are among the app’s most active, the company said.

What's the point of that? Here the high price signals that... you have a lot of sex? Why are we segmenting on activity?
The pricing isn't even that bad if it helps someone find the right person in a short amount of time.

The market for this would be people who don't actively want to use tinder, but just get in and out and in a good relationship.

Trying to push this into the hands of the "most active" users is only going to end with the people that shouldn't have these features abusing them to try and control their next victims.
> The existence of seL4 and its ability to be used in real projects certainly proves that formal methods has been effectively used to improve safety and security in shipping products, which was the question you asked if I understood it correctly...

No, I would expect evidence that seL4 actually gets used. Otherwise it's yet another purely academic proof of concept.

> GPT-4 ... closer to Eliza ... over-hyped ... "Stochastic Parrots" paper

You might want to look at this YouTube channel here, to see that LLMs are capable of imagination and complex logical reasoning: https://www.youtube.com/@aiexplained-official

Who knows what the future holds? ¯\_(ツ)_/¯

Anyway, it would be interesting to know a bit more about your field experience using formal methods - if possible. Thanks.
Tinder claims to have 75m users, so even if 0.1% of users take this up its an extra 50m-ish. I'd say thats the main point. Monetize the people that are potentially addicted somehow.
Meeting someone thru a 500/mo subscription service seems akin to meeting someone at a rich-potential-spouse convention. It’s possible to find the right person , whatever that means, but probably you’re selecting for gold diggers of both sexes.
Nokia Network Monitor (2018) [video]
I wonder if they actually consider expanding security options for accounts after that much time. The only 2FA they seem to still have is sending an email with 4 digits code.
I absolutely loved the revelation about why the things are the way they are. So absolutely absurd yet in a way realistic.
ELI5 How does that kill gaming?
The reason is (a bit informally), the rules of maths said I could ask for “all the things which satisfy properly X”. So, it would be fine to ask for “all igiveup numbers” — there might be none, one, who knows, but we can ask for that.

Too much of maths asks “get me one (if it exists), or all, things that satisfy X”, that if that can’t be trusted to work, basically everything is suspect.
Rather than creating new geometric primitives on the heap, wouldn't it be more flexible if the caller can provide the memory to initialize the structure in?

Then instead of

struct tg_geom *geom = tg_geom_new_point(-112, 33);
if (!geom) {
// System is out of memory.
}

you could do

struct tg_geom geom;
tg_geom_init_point(&geom, -112, 33);

without need for error checking or cleanup. You can still allocate on the heap if you want but you wouldn't have to.
DVC and Dud do this, but they're more meant for data analysis projects than building software.

https://dvc.org/

https://github.com/kevin-hanselman/dud/
No, but I'd expect the person choosing the engine for the 10 person indie shop to be a developer.
The best design system around[0] operates entirely in the open. You can look through the history, discussions, PRs, framework-specific implementations and see why it's geared the way it is - and why it's incredibly successful.

[0] https://github.com/alphagov/govuk-design-system
It's litteraly the ship of Theseus you're describing : https://en.m.wikipedia.org/wiki/Ship_of_Theseus
Integrating My Business Rules with React
Usually you'll want to paint miniatures. A multicolor print of a miniature isn't going to look as good.
seeing what java virtual threads can do it brings the question, are OS threads done the wrong way? why cannot the OS do what java is doing?
I love pattern matching, but without a proper support for variant types it won't be as useful as it could.

I'm aware of `permits` clause, but it's not good enough.
Flagging as "use original source" because large paragraphs are copy-and-pasted from here:

https://sma.nasa.gov/docs/default-source/safety-messages/saf... (pdf)

(e.g. the text starting at "The trouble with early Soviet missiles...").
Here is my feedback about the pcp's main GitHub page, if you don't mind:

- Move "Motivation", "Project Status", "How Does It Work?" somewhere else
- Add "What is It?" and "Encryption" sections and place them just before the "Usage" section. Keep them reasonable small, the smaller the better

I believe that it will help the project to have a much better resonance with the target audience.
If you have time, could you clarify how you can tell that? I just opened it in Europe and the blurb seems to pass “these cookies are for internal self-improvement of the product only” (see below). Is your problem that google is managing the analytics so could be spying, or that the stated use isn’t essential? I guess my assumption was that “non-essential” meant “built for the purposes of 3P advertising”

We use cookies to recognize your repeated visits and preferences, as well as to measure the effectiveness of our documentation and whether users find what they're searching for. With your consent, you're helping us to make our documentation better.
Was hoping for this to be in the comments. Great memories.
Does the 500 include guaranteed visits from vetted beauties?
Instead of shaming machine learning researchers over their energy use, it's probably more effective from a energy use standpoint (for example) to ban “dirty” energy plants.

Banning a class of high energy consuming algorithms used towards a non-violent technological development you disagree with makes absolutely no sense to me.
I suspect that if you distributed emergency supplies ahead of time, some people would treat it as a convenient handout and simply consume them.

And even aside from the temptation to use the supplies, not everyone would be able to find a place to store a month of rations & water.
> I think it's ok, great even, the urge to make something that's so strong that you do act on it.

This has been my year for this. There's been a backlog of projects that I had to "code out of my system". None of them commercially viable, but all that tugged at me.

- https://coderev.app : code review as interview (OSS)

- https://turas.app : travel planning and story telling for well organized travellers (origin story: https://youtu.be/_SuT9TpJc2c)

- https://youtu.be/ObwLR6Wxr6o : "ProtocolGPT" - ChatGPT for clinical trial sites (latest one I'm building).

All three built between May and now. Built another project for fintech with another team.

Sometimes I think I'm crazy. Turned down a few really good startups this year working on stuff I wanted to.
Imagining the psychology of aliens evolved from ambush predators
It's hard to know which thread would get traction. I noticed this pot a few hours after it was posed and for some weird reason the other thread had many comments that may be relevant.

My guess is that the paper makes a technical claim and the blog post makes a big generalization, and the generalization is too controversial and gets a lot of comments.
> Hopefully they are not spending unpaid overtime on that

Dear god, no. I’m paid for it.

It still feels like nobody (except my boss) wants what I’m selling.

Which isn’t exactly true either, but people certainly do not embrace change.