skysight-inc/HackerNews huggingface dataset:
Do you have any sources about that, I'm just curious:)
And they also put a tag on your ankle identifying you as someone who likes beer, so that beer salesmen can come knock on your door tonight.
So, you launched your complete rewrite, without any testings and still make ~100% compatibility with an existing vendor solution. Call me skeptics.
CodeStory (YC S23) Is Hiring a Founding Engineer for Building AI-Native IDE
Show HN: LLMs following grammar for general-purpose PLs
SynCode is efficient (<10% overhead) and provably sound in generating syntactical LLM output for any LR(1) grammar. Currently supports built-in grammars for Python, Go, Java, JSON, SQL, first-order logic, and support for many grammars is WIP.

We have added some interesting notebooks with miscellaneous grammars here: https://github.com/uiuc-focal-lab/syncode/tree/main/notebook...

The arXiv version of the paper is available here: https://arxiv.org/abs/2403.01632
Check if AI will replace your career/job within the next five years
Funny story -- when I was working on the xkcd Machine comic, I actually used the ZFS snapshots to rescue data. I accidentally blew away some early physics prototype code and fished it out of /.zfs/snapshot.
How does this compare to SAGE?
You're holding a hammer, and hit your thumb. do you swear off hammers as the devil, or do you learn to use the tool better? LLMs work on tokens. I wouldn't expect them to be good at matching parens. Even the very best hammer is a terrible screwdriver.
I really like the idea, I’m not sure I love the use of operators over named functions.

Could named functions be a optional alternative API?
I feel like a filesystem with native snapshot support (zfs, btrfs), replicated once (also native in zfs) obsoletes conventional 3-2-1 backup systems. It’s technically only 2 versions, but you’re protected from all the same failure modes.
> As has been typical in my career, when the vendor said they had a product, what they really meant was they had something vaguely resembling a product that vaguely matched what we needed, and with heavy customization they could torture it into doing what we needed.

How many times have I been accused of wanting to "reinvent the wheel" while facing this exact situation ? I can't count.
> Not my circus not my monkeys

Some ppl just dont care coz in one year they will be in a completely different place
> Students and hobbyists can use Symbolica for free. Once Symbolica is being used professionally, either in an academic context or in a commercial company, a license is required. The preferred license model for academic use is an institution-wide license.
sage is free software, this is proprietary
Very much agree.

As it turns out, a 55” 4K OLED TV as a monitor is practically the same as two big vertical monitors side by side :)
The EPA. OSHA and per-state equivalents. The part of the FDA that inspects production lines. The FSIS. The NTSB. The USCSB. Essentially every individual city, municipal area, and state has its own health inspection service that shuts down unclean restaurants to keep them from killing people. Seriously, I listed Upton Sinclair's The Jungle for a reason, this is not a theoretical concern, this actually happens to this day and we know what it looks like when we don't have people dealing with it. This is not just something we can do, it's something we actually do, continuously and successfully, at every scale of government. This problem has known solutions that are reliable enough that every single city in the country has successfully implemented them.
You forgot the Bosnia war.
> a state-of-the-art commercial computer algebra system while being as open as possible

> Get a license key for offline use, generated from a licensed Symbolica session. The key will remain valid for 24 hours.

lmao

This is a really impressive project, but the practically always-on requirement - including an internet connection to go offline - is absolutely hilarious.

Also, the requirement for me to "get a quote" to get an idea of how much it'll cost me? I'm not going to even bother trying the free trial. I can tell you how much MatLab cost me for my personal projects - $149.

Now I'm not saying MatLab and this are an apples to apples comparison (not even close), but y'all are chopping yourselves off at the knees.
CEEFAX: world's first teletext service (1974)
> Dream a dream, then make it come true.

Felt it :)
If there is a bug in file system, both source and its replication can be lost.

I will add to this a different backup software to an offsite or cloud. I use restic.
as you say, without knowing anything about the underlying process, we can't predict generally. Some other comments point to contexts in which we do know something about the underlying. For instance, I don't think finance is something where you can apply this kind of stuff.
Stories like those always get big response on havker news coz for all the smart ppl we have here there are 10x of not smart ppl not here.

And we all work with them on various levels in the organization.

Remember - being smart is both a gift and a curse.
Behind-the-sofa consoles might not be the first thing that comes to mind when thinking about furniture, but it's definitely the thing I will do in my house. I'll use them to store books, hide away cables, and add some USB chargers. Sometimes the most practical solutions are the ones you don't even realize you need until you see them somewhere.
Once you become popular what stops amazon etc from simply implementing your open source software themselves and charging businesss. We’ve seen it time and again, perhaps most famously with elasticsearch.
PEP 703: CPython 3.13 has experimental support for running with the global interpreter lock disabled when built with --disable-gil. See Free-threaded CPython for more details.

I never thought this day would really come - will be trying this out.
If you are a "delivery driven" person who cancels holidays to keep working, I would say to you, from own experience: stop being stupid.

I know, that, specially when you get recognised for the hard work it is hard, but you will regret every minute.

If you work for a company that counts on your holidays and vacation to sell their products, you are helping to create the problematic world with have today.
If many do that, more will need to do. If none do it, and act like it is an absurd to request it (and it is) nobody is forced to do it and the company is forced to do real estimates even if that hurts your fav CEO pocket
I’m gonna believe what makes sense. You made a claim which didn’t fit with what I know about Chomsky, and left a citation that doesn’t support that claim. Your claim does not make any sense to me. It’s perfectly within my understanding of Chomsky for him to say “These people we vilified weren’t quite that bad. We vilified them for our own political aims, and fabricated stories as needed to support that. The truth is much more nuanced than media made it out to be.”

And Chomsky doesn’t just make empty claims or “believe what he wants”. He usually cites sources from within the US government, like published State Department memos stating the position he’s claiming they had.
how is the series of the first 100 prime numbers a time series ?
Even the healthiest large companies do this sort of thing, I've worked in a few and heck I've sold to a few too. Low code solutions that somehow need a team of contractors to deliver business functionality, delayed projects that drop key integrations to deliver something on time but functionally useless, CTOs whose next job depends on giving work to supplier. Worst of all, organisations that insist that they buy not build but then have larger software teams than their suppliers.
I'm building magentic https://github.com/jackmpcollins/magentic which has basically this syntax, though it queries the LLM to generate the answer rather than writing + running code.

from magentic import prompt
from pydantic import BaseModel

class Superhero(BaseModel):
name: str
age: int
power: str
enemies: list[str]

@prompt("Create a Superhero named {name}.")
def create_superhero(name: str) -> Superhero: ...

I do have plans to also solve the case you're talking about of generating code once and executing that each time.
it doesn't apply. Checkout the Incerto by Nassim Nicholas Taleb.
I had similiar issue, but for aggreagations. Use case was to "compress" large datasets into smaller aggregations for insertion into a costly db.
At first we used duckdb but memory became an issue there and we also bumped into a couple of issues with how duckdb handles arrays.
We then moved this workload to clickhouse local, which was faster and had more fine tuning options to our liking. in this case was limiting ram usage with i.e. max_bytes_before_external_group_by
Actual hardware "smart graphical terminals" that used that wire protocol were built for a while, too - I had some Labtam / Tektronix XP400 X11 thin terminals.
Author of Symbolica here: this may change in the future. Note that it is easy to do this, you just call the function

from symbolica import \*
set_license_key('YOUR_KEY')
print(get_offline_license_key())
That works assuming you have the budget & technical friends
maybe they'll do the write up next time before it goes live...
They deliver pressure, crunch and obedience. There are no well run companies. The defunct is part of the process as a load bearing pillar.
M4 is 25% faster in multi-core compared to M3
You're absolutely correct.

(For reference, here's a long discussion in an issue: https://github.com/WICG/webcomponents/issues/814)
Residential fiber internet is a lovely thing :D
it's all down to iMessage. I don't know where I'd be if it were available elsewhere, but that's whats got me stuck in to the Apple ecosystem. I do like that stuff works without futzing a lot though. I use my Apple TV as an external monitor to my laptop way more than I ever thought I would. that's a feature that I didn't know I wanted.
Forced to use because of work.

All my personal business is conducted on Linux. I use the Tuxedo Computers AMD laptop.
I don't understand your point:

Construction companies build what they were told to build by developers, and developers decide to build stuff by guessing the balance between financial viability and usefulness to users.

In the past there was a need for office space, and there was specifically a need for buildings which are cost optimized for office work. So the developers designed their plans and investment that way, and the construction companies built them.

What is your idea? That it shouldn't be possible to build something that's expensive to convert to residential housing ? Then that'll just make all other types of buildings more expensive, so you'll hurt manufacturing, businesses, public institutions, etc. If you want the construction companies to pay for it, they'll just not build it.
Apple switched to Intel chips 20 years ago. Who fucking cares about PowerPC?

Today, Apple Silicon is smoking all but the top end Intel chips, while using a fraction of the power.
I don't get the issue here. It's an ad.
I think it means that your code could be resumed on a different machine.
What is the size of your company?
Thanks. I did wonder what the launch veto system was actually for? - working from the assumption that it would be procedurally impossible for a crew to successfully vote for a launch without receiving the correct authorisation codes from an external source first. (I guess it suggested to me that a rogue launch could technically happen, but given any system can go wrong (machinery or operators) perhaps it just made sense to have as many inhibitory safety systems as possible).
Thanks man

Really Appreciate your advice.
The X Windowing system is a hackers delight.

If you have a remote server with UI, you can set up a X Window server on your Windows/MacOS machine and forward via SSH X messages to use GUI apps on your server, but view the result locally. The Responsiveness of the UI depends on your network capabilities.
That doesn't make any sense. Native snapshots are fantastic, but are merely an effective way to do backups. One where you trade some complexity from the backup software to the filesystem.

(only talking backups, snapshots of course have utility beyond that usecase as well)
Indeed, I experienced this at Airbyte when Amazon began to charge for implementing Airbyte on their platform. In response, Airbyte took proactive steps such as bolstering the community and modifying the license terms to prevent this.

Additionally, there's a certain inertia involved in applying for all integrations. These, however, will come pre-packaged in our cloud-hosted solutions via OAuth's.

As this is a recurring issue, we plan to engage with the community for ideas on how to effectively address it.
It would be _slightly_ better if the DBMS have array types.
Often they are not scalable, but it is better than thousands lines of copy-and-pasted code.
https://news.ycombinator.com/item?id=37780199
Google start searching a way to AI that can search links at internet and give you info immediately and how to integrate at those answers add.
So, we can be pretty sure, when they found how to do this - Search will be deprecated too.
>> For example, what if the sender types in `You should go to http://ww.example.com, where "example" must be replaced with your company name`? Suddenly `www.example.com` has an unintended DDoS!

> Ah, so that doesn't happen if the sender types in the wrong thing in HTML...?

I can't tell if you're being purposely contrarian or simply don't understand users.

The problem: Things that shouldn't be links get turned into links.

Your response: $SOME_OTHER_PROBLEM

I mean, really? You can't tell the difference between someone making a typo when intending to write a link and someone making a typo that results in a link?
William Noel, groundbreaking librarian and open data advocate, has died
That was the 1995 model.

It's all outsourcing or H1Bs now.
That seems quite a lot of changing the companies. Why so frequent switches?
A minimal TLS 1.2 client in pure Bash script
Analysis paralysis is not inevitable. It's just a case of lacking tool intelligence
Yes. Though I was talking more about the 1980s, when spreadsheets first became a thing.

That's also why I mentioned Cobol and C, Java hadn't been invented, yet.
Excellent UI! I love it.
This argument is somewhat undermined by the inclusion of Japan, a country well known for just how debased its
porn is.

Laws are not a good proxy for culture. Culture is only one of the inputs into a country’s laws. Frequently the people who make the laws are not the same as the people who have to follow them.

As for Islam, Christianity and Islam are closely related, both being Abrahamic religions. I don’t think a distinction is meaningful in this context because both the Bible and the Quran include same story of Sodom and Gomorrah, so their sexual morality comes from exactly the same Abrahamic tradition.
What I don't understand is

in CC-BY-SA, SA means share alike. Does openai have to share their models?
> Arguably it is. It was sent as plain text and received as plain text. The fact that the recipient's software goes through and interprets that plain text and does something when it detects an URL in it doesn't change that. If the recipient were to use some other software that doesn't do that, they'd see... Plain text. Because that's what it is.

Exactly like .... the subset of HTML we see in emails?

I have not yet gotten an HTML email that, when displayed in plain-text, was unreadable. Neither, I suspect, have you.
SEEKING WORK | Central Europe | REMOTE

Ex product manager & business developer for a web&mobile development agency, connected with a wide network of freelancers, decided to start own company. Expert in finding part or full-time mid/senior developers & designers for growing teams. Can also help you as part time PM. Currently working with three US clients.

Tech stack:

-----------------------------------------------------------
Frontend: HTML5, CSS3 (SASS), JavaScript (Vue.js, Node.js, Nuxt.js, React.js, TypeScript, AngularJS, jQuery)
Backend: PHP, Java, Python (Django), C++, C#, Ruby, .NET, Go (Golang)
Mobile: React Native, Swift, Kotlin, Xamarin, Flutter
Databases: MySQL, NoSQL, PostgreSQL, MongoDB, Redis, Microsoft SQL Server
Cloud: AWS, Azure, Oracle, Google
UX/UI: Figma, Sketch, Adobe XD, Photoshop, Illustrator
-----------------------------------------------------------

Let me know what your needs are and I'll get back to you ASAP. Email: klemen /at cnine /dot eu
I live in Singapore, so even putting my home address on my things would be fine. (And we seldom even lock our front door.)

Well, your suggestion might help for some kinds of misplacing. But I often I know it's in the house, but can't remember where.
Thanks for your feedback! this helps. Will look into these. Admittedly there are bunch of rough edges that need be fixed. Will keep you posted
I feel like this is missing some comparisons to Sympy and Mathematica. Probably it's more polished than Sympy, but if I'm going to closed-software software why would I pick this over MMA?
Laminar – lightweight and modular CI service for Linux
And then what happened is AlphaZero changed the professional game in various interesting ways, and all its ideas were absorbed into Stockfish. A little bombast is forgivable for technology that goes on to have a big impact, and I don’t doubt it’s the same story here.
Just the word "breathwork" is obnoxious to me. I suppose it's interesting that if you hyperventilate enough you can reduce oxygen in your brain to the point where you hallucinate. And that is probably safer than taking psychedelics.

But the idea that you would do that routinely seems obviously stupid to me. I think if you keep doing it for a number of years then you could damage your brain. My understanding is that your brain needs oxygen.
TikTok sues the US government over its plan to ban – so now what?
Why does knowing the discount give you any additional leverage?
NMAP 7.95 Release. +6500 New Service Fingerprints
we don't all have TVs in our living room
Not for watching tv, but you might need the entire room for doing stretching, doing yoga or other exercises.
> it's the bad actors and fraudsters and scammers who drive these kinds of rules.

Your logic is used by bad teachers in kindergarten to justify group sanction because of a single person's misconduct. I have never seen a bad actor driving rules against his own actions (exceptions exist).

In a society, there will be bad actors. No matter what you do. You can decrease the likelihood of it happening, or mitigate the impact, e.g. by setting rules. Costs for executing these rules should be weighed against the benefits.

If a driver's license is public information, why would they ask for it? If it indeed is public, they don't need to ask for it, because sending it doesn't hold value. If it is not public information, they have to ask for it, and then the fact that you are able to send it to them holds value. Them having the ability to send that information again, can be perceived as, or is, invasive.
Author of Symbolica here: for your personal projects the cost is 0, as you'd be a hobbyist.

Symbolica is developed by only one person, so forgive me if I can't get every aspect of the project right on the first try (especially the non-technical part) :) I will see about removing the online on start-up part. It's essentially the only anti-piracy step that I have.

At the moment there is no fixed cost for use in industry, since the price will vary based on the amount of users and other factors.
this is probably why they are grumpy now :)
That is an interesting observation. To what extent this may be driven by the new project shaped in a copilot "friendly" way?
Thanks, fixed it! It should be

x, y = Expression.vars('x', 'y')

indeed
Zed Code Editor Making Progress on Linux Support
My face palm moment of this year was accidentally restoring a zfs snapshot of my root pool form a week ago, but it was actually a year and a week ago. Didn’t lose any of my data, but suddenly I had some offering to format their version mismatched databases.
No, no, this entirely pragmatic _and_ theoretically sound.

In a practical program you want to know that you in finite time you either get one of the declared errors, or you get a positive result. Using an `Either` type allows even a relatively weak type system to be of use here.

There's no 'error' in your proof: your proof can't do anything about eg running out of disk space.

Now, using an `Either` type for things like division-by-zero is a bit of a cop-out, and a compromise foisted on us by a weak type system. And you are right that in something like Agda you would hopefully never have to stoop so low. (Though even there, you can't proof everything. Eg if your program enumerates differences between adjacent prime numbers, you can't prove that it will (or won't) run out of 2s.)
Am I understanding the story correctly? a year plus, no doubt horribly expensive engagement with an external vendor was replaced with a few weeks skunk works project buy an internal team member who executed it by lying up the chain of command and there were no repercussions.
I really don't see how this is distopian. they are basicly jsut saying that all of these creative tools can be crushed down into an ipad. that the ipad does everything all that stuff did. I can't the only one who feels like this is an amazing achievment.
or VMs. they should be getting way better out of that.
They should've started with an example that you can edit, OR just start with the final result and a call to action, e.g. by focusing it on an empty slot.
Can someone tell me what are the direct implication of this? I often see "helps with a drug design" but I'm too far from this industry and have never seen an example of such drugs
Google still makes me confirm whenever I play RATM even though it's in my library. It's stupid annoying and vapid that they don't truly allow "yo I'm an adult and I've been on the internal while just let me play this stuff. FR nothing on your platform approaches any of those leaked cartel videos or fake limewire music videos I've seen" option

... especially when I'm driving and yt music on android pauses on my playlist in city traffic. Really got your priorities straight there Google.
I am certainly not going to defend peer review and its inherent flaws. I am also not sure "capitalists" or the market is always as efficient as one might hope or think. But that aside, to my point above, if capitalists were to optimize "money" as you say, how would that fix publishing? Firstly, how would they ascribe a monetary value to Gower's 1998 and his other few papers that catapulted him to the Fields Medal? Are you saying these subject do not matter because no one is bidding for these papers? I fear we would not have published Heisenberg's early papers or the discovery of Penicillin if so. And over what horizon would "capitalists" optimize that monetary value (internal IRR)? Governments usually have to step in for long term IRR projects (e.g. the internet protocol's development was famously funded by DARPA and they keeping "deep learning" alive during the downturns as no one believed in short term returns ...). The UK water system or quite a few train services around the world bear witness to the fact that even in a "capitalist" society, some long term common benefits are hard to fund with short term IRR considerations even pension funds consider reasonable. Taking that observation to its perverse conclusion, if you believe in "capitalists" then you could argue that the current imperfect review system is a side effect of capitalist societies' long term research funding plan (universities, research grants, tax breaks for endowments, student grants, ...).
I just think knowledge sharing is not always compatible with financial interests. And the former, to me, is the public good that academia should attain. But you get no argument from me that peer review is broken. I struggle to think, though, of a better system and doubt "money" is it, tbh.
An XKCD staple, their What If series is really good like that too. A bit silly, pop sci, but simple terms and explanations.