skysight-inc/HackerNews huggingface dataset:
I'm teaching discrete math in January — I'll try the analogy, wish me luck!

As someone who's gone through the mathematical ringer, the analogy doesn't ring true to me, but it does sound pedagogically useful still (my students will be CS majors, so the math will be for training rather than an end). Even at the highest levels the definitions are of prime importance, though I suppose once you get to "stage 3" in Terry Tao's classification (see elsewhere in the thread) definitions can start to feel inevitable, since you know what the theory is about, and the definitions need to be what they are to support the theory.

Personal aside: In my own math research, something that's really slowed me down was feeling like I needed everything to feel inevitable. It always bugged me reading papers that gave definitions where I'm wondering "why this definition, why not something else", but the paper never really answers it. Now I'm wondering if my standards have just been too high, and incremental progress means being OK with unsatisfactory definitions... After all, it's what the authors managed to discover.
I've still got a working Android Dev Phone 1 here. Updated fully to Android 1.6. Got a massive 256MB of internal storage (basically none usable, mind you, all taken up by the OS) and a zippy 500MHz processor with a single core to share between the OS and apps.

What you're proposing is a massive waste of effort and talent--attempting to accomplish something bordering on impossible with a benefit of practically nil.

In fact I'd go so far as to say "negative benefit". It's going to encourage solutions targeting the lowest common denominator and hold back improvements for others. And even on the individual level--_hardware_ security has improved leaps and bounds in the last couple decades. Even with all the software updates in the world, nobody should be using that thing anymore.

Though I mean, it might finally encourage me to get rid of it. We'd be in a situation where it would be cheaper for one of the big companies to hire someone to have me and my family have an "accident" than it would be to actually maintain that hardware.
I can relate quite a bit to your situation, as a self taught developer with years of experience programming, but <2y real industry experience in the last 15yrs.

I was in a situation where I was able to spend on avg. 14 hours a day for ~3 years programming without a single day off, trying to up-skill myself as much as I possibly could. Fortunately I already had much of the context and foreknowledge of what I needed to be learning, so all that time was spent building; instead of trying to learn what to build, or how.

After some time, I was given an opportunity to join a tech startup, and excelled. I wrote the vast majority of their code bases, I manage virtually all of their ops/infrastructure/deployments. I mentor our junior developers, I conduct all our technical interviews, and I make our implementation/design decisions, even tho we do employ other senior developers with many more years of experience than I have.

Many would be skeptical of someone with so little experience on paper being in such a position, and it honestly I believe it will be a very uphill battle you will have to fight when you are given such a high position, when it's time to move companies. To be quite honest I didn't even want the title I was given officially, because I didn't feel it was appropriate from an industry standard. However there is no doubt that it applies if you read the relevant job description.

As to your question specifically, seek out and spend time with more experienced engineers whenever possible. I am very lucky to have friends with many, many years of industry experience working for large tech companies, who I have been lucky enough to be able to work on side projects with, as well as having been able to contribute to open source, as well as building my own projects and taking on contract jobs on the side where I have solo developed a fairly substantial project as well. I am very grateful for these friends and I have learned very much from being able to build with them.

Build as much as you possibly can, work on projects that are far outside the scope of what you do for work, and take on challenges you otherwise wouldn't feel ready for. Try to befriend experienced devs and seek to be a part of communities where experienced engineers are found. There is no substitute for the hours of writing code, but surrounding yourself with others who's observations and code you will be able to learn and benefit from is a good start.
>This used to be something they'd do for "larger parties"

I always thought that economy of scale makes it cheaper to process big orders in batch, but apparently I'm wrong
>Meanwhile the Democrats have to spend every term fixing the things the GOP broke

Like NAFTA.

When it comes to making people lives worse the democrats are just as capable as the republicans.

It's just that when it comes to helping people. Oh no. Woe is us we can't do anything with the presidency, and a super majority in every branch of government.

This happens once every 20 years.

But democratic cultists always come out of the wood work to explain why this is actually ~Reagans~ ~Bushs~ ~Bush2s~ Trumps fault.
Mono has been transferred to the WineHQ Organization [1] and is no longer recommended or supported by Microsoft.

.NET is the only (cross-platform) server runtime anyone should consider running Server Apps on.

[1] https://www.mono-project.com
Coffee that isn’t acidic is realistically the weirder thing, considering what coffee is.
Decades of bad coffee have created the expectation of every coffee having to taste like low-grade coffee with all the acidity burned out of it.

Taste is subjective and you can call them snobs but they have a great point. Even if you love burnt flavors, there are far more ethical options than Lavazza.
I botched the open-sourcing, I intended to post this one:
https://github.com/asfarley/vtc_opensource

I've updated the license to BSD 3-Clause and deleted the EULA.txt.
I have a use case for slang, I want to use it to transpile user provided shaders to WGSL and then use it's custom user attributes to provide metadata for setting up composable image processing shaders with minimal developer intervention, like shader toy or compute toy. The thing that is making this annoying is that the tooling is very bound to C++. Has anyone found a good rust wrapper for slang?
>the drivers would make <$5 an hour

Not my problem
How, exactly, are you using current-gen AI to solve those problems? Does there exist at least one example of a student performing well (e.g., in math) from your program?
autograts for large parties are done because large parties tend to be poor tippers vs normal sized parties for various reasons.
i’m confused who the intended userbase for this is

you either use like a game engine that generates all the platform specific gpu code and shaders for you, or you can take advantage of writing all the different gpu specific and shader code yourself (bc you need specific features or can make it faster or some such), i can’t really imagine something in between tbh

and a generalised tool like this is destined to not fit platform specific features that well; for example, i couldn’t find any mention of an interface to use tensor cores, and automatic differentiation w/o a relatively complex expression optimiser is kinda useless for machine learning, where tensor wrt tensor derivatives' dimensionality explodes w/o using an expression optimiser…

it’s kind of the same story as w/ cross platform gpu frameworks: they’re destined to just kind of do everything but badly bc different platforms have different architectures that you can’t map to w/ a single api… imo the best solution remains to have domain specific solutions that generate separate cross platform code solely in that domain...
I can think of many reasons to stop posting on X, but leaving right when a new president takes office strikes me as odd. If it's about Musk unfairly promoting Trump, why wait? It's already happened after all, even if Musk himself will likely take office from that point onward.
Show HN: A friend of mine decided to do the Advent of Code in NES assembly
I've been using Math Academy daily for over a year now and have been similarly impressed with how much I'm learning with it.

Congrats on your pace, 9k XP in 9 weeks is impressive!
All that will happen is people will develop scar tissue and just not tip anymore. People used to be polite and be nice when they picked up the phone from some number they didn't recognize. Scam artists USE this old custom to scam people. Well, most people don't even pick up the phone any more and for people that have to, like myself, the instant I recognize a cold call, I just hangup. I don't feel guilty about it anymore, in fact, I feel empowered.

Tipping at terminals is going to happen the same way. The idea that some minimum wage person is gonna recognize you, let alone still working at these places will key you in on this is just something that will go away.

Tip at a sitdown restaurant, that's normal. Tipping at a terminal for takeout, screw that.
Right now I'm doing prompt execution in activities, passing results to other activities.

Workflows currently only started after human events, but going to move towards additional workflows started through an activity soon - I'm keeping the state of the world independent of the execution engine so each workflow will read the new state.
> why a cash customer paying the same price as a credit card customer should be considered paying more

The credit card customer gets rewards often amounting to around 2% of the value of the item.

Those rewards come out of the money the merchant is paying to the credit card company.

The cash customer did not get those rewards, and so paid more.
I've been seeing more and more places also include the taxes and other fees in the total used to calculate the suggested tip. That seems pretty slimy to me.
There is no federal law requiring a business to accept currency. You may be in a local jurisdiction with such a law.
"Despite the name, it would not be a federal executive department, which would require an act of Congress to create, instead it will serve as an advisory body operating outside of government. According to CBS News, it may operate under the Federal Advisory Committee Act."

https://en.wikipedia.org/wiki/Department_of_Government_Effic...
I agree with all of the above, including the hypothesis that the OP likely had absolute pitch to some degree as a child and not thought about it. Everyone I personally know with perfect pitch (including myself) started engaging with music seriously very early on in life. (I don't know quickly I acquired it because it's always been as easy as identifying colors and I didn't know it was unusual until my piano teacher noticed.)

For me piano is definitely the easiest instrument to identify, I'm sure largely because it's what I've played all my life. Pipe organs are the worst. I assume that in general the purity of the tone correlates negatively with ease of identification.
it’s likely because twitter’s owner has turned extremely political and that makes them uncomfortable.

particularly since he vocally is politically extreme, very vocally. they likely don’t want to put themselves or their work at the mercy of his extreme whims.
Lower income countries make do with what they have. They can't just throw everything out and import higher quality stuff like some countries can.
> Most abandoned coffee farming and converted their farms into prime real estate

This is happening in Vietnam as well (2nd largest coffee producer in the world).

Coffee margins are low because there are too many farmers and too few bulk purchasers, so most fermers have either switched to higher value nuts (eg. Macadamia) or sold the land off to tourism developers who can make a "Glam-Camping" experience for Korean, Japanese, or Thai tourists.
Hello! I am a software engineer with 30 years of experience. I have good knowledge of PHP, C/C++, JavaScript, Vue.js, AJAX, jQuery, Python, HTML, CSS, Java, MySQL, XML, XSLT, HTTP, TCP/IP, UDP, DNS, Bind/Names, Apache, Nginx, CentOS, Debian, Windows, MS Visual Studio, Android, NDK, FFmpeg, sockets, multithreading, pthread, Vim, Bash, Git, OpenGL, Digital Signal Processing (DSP), Electronics. I am learning Go (golang).

I make simple, but effective and convenient websites that users are happy with. I make application and system programs for Linux, Windows, Android.

I make fast and reliable programs that work without errors 24/7/365. I participated in the automation of television broadcasting, the development of programs that work around the clock on television and on satellites without errors, they are used by more than 100 million people.

I am also developing my own programming language based on the C language. The project is available at https://github.com/azhibaev/c3 , you can read more in my article on the website https://www.codeproject.com/Articles/5365472/C-Cubism-Extens... . I made three levels, and the implementation of the next three levels will allow creating programs in human language. The project is aimed at unloading the human brain from programming and transferring the creation of programs to the processor. The goal is to simplify the program text, up to the possibility of writing programs in human language. Scientists and specialists will be able to write the programs they need without knowledge of programming languages.

I also have a project to give every real street store in the World its own free website. I am creating a free social network for real stores.

I am developing the Web 4 standard for the future of the Internet. https://limon.kg/ru/news:77407

Location: Slavgorod, Altay region
Remote: Yes
Willing to relocate: No
Technologies: PHP, C/C++, JavaScript, Vue.js, HTML, CSS, Java, MySQL, Go, Python.
Résumé/CV: https://azhibaev.com/askarazhibaev.pdf
Email: askarazhibaev@gmail.com
Site: https://azhibaev.com
Linkedin: https://www.linkedin.com/in/askar-azhibaev-203931231/
GitHub: https://github.com/azhibaev
Education: Diploma in engineering of automated information processing and control systems. Faculty of automation and computer engineering, Novosibirsk State Technical University.
Residency: e-Residensy of Estonia
I just think that the entire tipping thing is ridiculous. Imagine going to a supermarket and tipping the cashier. Or going to court and tipping the judge.
I haven't seen Covenant or Romulus yet. I saw Prometheus, and it was really bad, but in a complicated way. It wasn't a completely terrible movie that you can just dismiss as garbage like Battlefield: Earth and not think about again. It was beautifully shot, and a visual feast to watch. There were some really great scenes, like the robo-surgery scene. But the characters were frequently stupid, and the script was bad because it made the characters do idiotic, incompetent things that should only be seen in a B-grade horror movie. Ridley should have known better, and should have done a better job making sure the script he was working with made sense, so I'm very disappointed with him. He didn't do this with the first "Alien" movie at all.

Then he apparently did it again with Covenant: I haven't seen this one yet, but what I've read says he didn't really learn his lesson from Prometheus, and made another great-looking movie with high production values and a poor script. So I haven't been in a hurry to see it.

Romulus seems to have good reviews so far, and a different director, so I'd like to give it a chance. I just haven't had a chance to see it yet, but it is high on my list of films to watch soon, along with the new Quiet Place movie.
The archive copy still only gets a few paragraphs in before the robot was blocked:

> Thank you for your patience while we verify access.

> Already a subscriber? Log in.

> Want all of The Times? Subscribe.

I understand that NYT would like to receive money directly from its readers rather than (or in addition to) advertising revenue, but until we live in a world where every website is doing this and authorizing micropayments for it is trivial... I just don't see how NYT's content is special compared to everything I currently access for free.
I knew there were multiple ports to the Interdata hardware, one specifically from Bell.

I actually went over the Univac and TSS ports in my parallel xargs article:

https://www.linuxjournal.com/content/parallel-shells-xargs-u...

In my workplace, we still have fully-supported OS2200 running the DMS hierarchical database.

We are also running VAX VMS on the Charon emulator, but there are plans to replace the VAX's functions with Rockwell's "Factory Talk Production Center."
Ah thank you for the correction, I'm just a hobbyist and have not practiced in a few years
It’s actually using official .NET (which is now cross-platform and works very well on Heroku’s platform).

Also see https://devcenter.heroku.com/articles/dotnet-heroku-support-...
What this thread is really missing is a simulation. I can't promise its the enterprise (as the performance constraints are crippling), but here's a bunch of cubes instead:

https://www.youtube.com/watch?v=iTw0pJvTkGw

It seems that what you see is the object flattened on the shadow in front of you, and it remains flattened. Apparently past me didn't implement redshift on objects, but its likely extremely redshifted

Edit:

Here's a second better clip, showing this more clearly

https://www.youtube.com/watch?v=npC6lCwYUN0
Yeah I thought there was some kind of rule like that which is why I was so surprised, I'd never seen it in food service before.
They are completely right. You put it in flowery words by saying it adjusts the acidity profile of the coffee. When it literally destroys a bunch of flavor compounds and replaces them with burnt notes.
In that repo, the default branch 'main' has only a licence file. Perhaps you meant to make the 'master' branch the default?
Redacted/updated repo with BSD 3-Clause license:

https://github.com/asfarley/vtc_opensource

Sorry for the confusion
Electricity and so on are already included independently of the payment method.

Yes, the store should be charging enough to its customers that it can afford electricity, and if it can't afford electricity, it should increase its prices.
It's not worth trying to account electricity use per-customer though, obviously, and it typically won't really vary by customer much anyway.

Credit card fees on the other hand do vary by customer, and can trivially be attributed to a single transaction accurately.
Yeah, during department teas you can hear mutters of "interesting" as ideas are exchanged and evaluated.

But, in my last comment I was just trying to temper my previous comment's claim about how important definitions are. At some point you get so used to a definition that even if you don't know a particular formulation word for word, you could still write a textbook on the subject because you know how the theory is supposed to go.
I don't doubt that the change in regulation enforcement mentioned in the article precipitated the shift away from small grocery stores. But the effects of bad zoning have been building for 100 years since Euclid v. Ambler. And it obvious that living in large tracts of single-use residential zones all but requires car ownership. If you already have a car, and all homes and all businesses are surrounded by seas of parking, then going to a large consolidated store is a financial win for a consumer rather than a burden.
The funny thing about Reagan is if you go onto /r/republican or /r/conservative on Reddit and for any problem today that is similar to one faced under Reagan you suggest the same solution Reagan used (but don't say it was Reagan's solution) you will get promptly banned for posting liberal talking points.
You probably fell in some tourist trap or something. I hope you didn't tip.

Tips are absolutely not mandatory in France. You pay for what you order at the price you see on the menu and nothing more. Small tips are appreciated but not expected. I am French, I have eaten in many restaurants of all kinds and I have never been asked to tip and I tip only occasionally. As for surcharges, they sometimes happen, for example if the restaurant is part of a club and you are not a member, but never at regular restaurants, it may even be illegal.

I am sorry for your experience, they probably noticed that you weren't a native and attempted to trick you. Was it in Paris? It seems like such unacceptable behavior is more common in Paris.

Note: I interpreted "mandatory tip" as having to pay a surcharge. Of course, part of the bill goes into paying the waiting staff, but it shouldn't appear on the bill, that part is between the employees and their boss.
> Most people do think about pricing

No offence but you're kind of proving my point. I said nothing about a difference in pricing because there isn't unless you actually tip $0 (which statistically very few people do). $24 (restaurant includes tip in price in order to pay servers a fair wage) is the same as $20 + 20% tip.

Most of the rest of your comment is what I said with different wording.

> high-income service workers

There's very few high-service income workers. I served tables through university, even if you make $400 in one night there's not enough of those nights for you to be "high income". If you're a stellar server working full time you can maybe equal what an average accountant makes in a year (which is pretty mediocre), but with more stress.
For a smaller gripe: they also bought Project Offset, which looked super cool, to turn into a Larabee tech demo. Then they killed Larabee and Project Offset along with it.
I wish these people would make up their own names instead of using what already is in use :)

At first I thought it was S-lang used in jed.

https://www.jedsoft.org/jed/
Nice release - deterministic replay isn't easy - I still need to go back and pull our implementation forward to match the new features in the core framework. I'm not sure if you've seen Basis, but we're somewhat "competing" in the same space. You're all in on Rust, we're C++ with bindings to other languages (eventually). I don't see this as a bad thing - more tools in the space is a win, eventually the industry will settle on something better than ROS.
> Then it was abandoned. In the 1980s, convinced that tough antitrust enforcement was holding back American business, the Reagan administration set about dismantling it. The Robinson-Patman Act remained on the books, but the new regime saw it as an economically illiterate handout to inefficient small businesses. And so the government simply stopped enforcing it.

I'm going to need more meat than this. Was there a memo that went out detailing that this statutory law will no longer be enforced? Did no succeeding FTC Chair or Attorney General think to pick up the torch?
They’re finding new and creative ways to add extra costs to your meal in addition to asking / demanding / shaming you to tip. I’ve solved this problem by not going out to any restaurants and cooking at home. And when I do eat out it’s usually at take out places.

It has gotten so out of hand that I think a USP for a new or existing restaurant would be to advertise as a no tipping establishment. Pay your employees a fair wage and adjust your meal prices accordingly. Who knows? It just might catch on.