skysight-inc/HackerNews huggingface dataset:
Interesting aside on rules 7 and 8: many Clojure users (myself included) did not often use namespaced keywords until clojure.spec was released, and in clojure.spec, you absolutely need namespacing since specs reside in a global registry. Though in the case of clojure.spec, we typically use the same namespace as our current ns, and there is syntax sugar for this. e.g.

::foo

resolves to

(keyword *ns* "foo")

In Datomic, namespaces tend to represent your application's models, like :person/date-of-birth.

I find it very useful mostly for human readability, it offers a way to distinguish what exactly :name refers to in your application's model. It also helps with editor autocomplete since you can type a namespace and see all keys up front, no need to consult a keys spec itself (or the schema of your database in Datomic). And when in doubt, in Datomic, you can always pull, and it is not too hard to run a query that extracts all attributes that exist in your database (this is actually an exercise in Learn Datalog Today[1], highly recommend going through this tutorial yourself if you want to play with databases like Datomic or XTDB).

[1] Exercise 2 in https://www.learndatalogtoday.org/chapter/4
I’d be willing to pay a percentage above some predetermined price (e.g. if the realtor produces some sort of above market outcome) - but agree, that the value provided does not equal 3-6% of home value
> This should have been a MacBook Air.

Great, let's compare it to the MacBook Air, then. Compared to the 8GB/512GB M2 MacBook Air, at $1399, the M3 MacBook Pro has:

- M3 chip

- Slightly larger display with higher brightness, HDR, and ProMotion support

- SD Card and HDMI ports

For only $200 more!

Sounds like an amazing "Pro" MacBook Air.
Just pay them a living wage.
See the sibling comment about the person using a very low spec PC.
Looks great. Was a big fan of Typeform in the early days.

I’m trying it on my iPhone SE 2022 and get this message:

Formbricks is not available for devices with smaller resolutions.
From comments #736 and #747 attached to the forum post you kindly shared, it sounds like simply disconnecting and reconnecting the I/O board may be sufficient (found those comments linked in #831):

https://forums.macrumors.com/threads/macos-big-sur-update-br...

https://forums.macrumors.com/threads/macos-big-sur-update-br...

https://forums.macrumors.com/threads/macos-big-sur-update-br...
Oh, oh yeah? W-well I am just so upset about historical injustice that I am boycotting ALL the TLDs. I just care so much more than the rest of you I guess. Yeah that's right, get on my level, shirtlords. I'm not "virtue signaling", I really care, like totally.
Been subscribed to Phind for 3 months now on 30€ per month, and constant outages made me unsubscribe this month. I did compare Phind and GPT-4 in the past, whenever Phind came out with these kind of articles, and after first question it was obvious Phind was nowhere near.
Year 1000 engineering vs. year 2000 climate.
But have you seen most programmer art? This has really nice graphics too.
But some of the earlier tokens are also the most important ones, right? Like the instructions and rules you want it to follow.
>you still need to change your velocity in the exact same amount on both ends of the trip

You usually need to change your velocity more than that.

Cycler orbits are more constrained in their start/end dates, so there are fewer free parameters to "tune" for lower propellant consumption. Generally a cycler with a 4 month transit time will need slightly more delta-v vs. sending a ship on a regular old transfer orbit with an identical 4 month transit time.

This is because when designing a cycler orbit it's usually necessary to shift a few days ahead/behind the optimum dates for a 4 month transfer, in order to efficiently "stitch together" with the previous/next orbit cycle.
> But what I do know is they did not present the offer to the buyer.

I believe in most states a real estate agent (I despise 'Realtor(TM)') is obliged to present an offer (at least by the Realtor's Code of Conduct/Membership Agreement).

Edited to add: I'm not sure if this refers to seller agents (who cannot hold back an offer from their client), or to buyer agents, presenting that to the seller side, or both. I think at least the first.
Lost a workstation to this last week. infuriating.
Yeah, check out the book "Bursts" https://barabasi.com/book/bursts
My favourite example of this sort of redundancy is the fact that there are numerous rivers in England called the River Avon. Avon is believed to come from the Proto-Brythonic word "aβon" [0], meaning "river".

[0] https://en.wiktionary.org/wiki/Reconstruction:Proto-Brythoni...
Sorry to hear that you didn't have a great experience. I'd love to chat further, my email is founders(at)phind.com
That bot of yours is second chat bot that claimed it can program or can help with programming. And that bot of yours is second one that utterly failed to provide me with an implementation of blocked clause decomposition in Haskell. I needed something, even the most slow version would do.

Yours' bot also tried to bullshit me about validity of its answer, just like the other one.

The difference? Your bot mentioned a paper on arxiv about the problem. But the paper (and I read it long time ago, of course) does not provide even pseudocode implementations of most of the algoithms mentioned there.

Color me not impressed.

As usual, bots like yours are not for when you need something new. If I have an idea, I cannot use any AI, including yours, for prototyping work.

It is expected as neural networks are interpolators, not extrapolators and for them to "extrapolate" one need to train them over the "extrapolation" area quite well.
A Brief Look at Apple's M2 Pro iGPU
Exact same thing happened to me.
And still our nuclear power plants, air traffic, and other infrastructure aren't constantly down because of malware.
I want to be able to turn it on/off and set the temperature from Homekit. I can't imagine any fancy automation that would matter beyond that.

Saving money on this is not a priority for me. Ecobee already works with Homekit, I would gladly buy an ecobee AC that did the same.
That’s only true if you are in a competitive market. There is a whole swath of land in flyover country and rural America where it can take awhile to sell a house.
Hmm, as someone who uses and defacto manages Datadog for a sizable org in their day job, I'm not sure using that OpenTelemetry PR fiasco is an up to date picture.

There was definitely a period where Datadog seemed to be talking up OTel but not actually doing anything of note to support that ecosystem.

I'd say in the last year or two, they've done a bit of a 180 and been embracing it quite a lot.

One major change is that they not only added support for the W3C Context header format but actually set it as the default over their own proprietary format.

The reason that's a pretty big deal is that W3C Context is set as a MUST for OTel clients to implement so it goes a long way to making interoperability (and migration) pretty painless.

Prior to that, you could use OTel but the actual distributed aspect (spans between services linking up) probably wouldn't work as OTel services wouldn't recognise the Datadog header format and vice versa.

There are, of course, still some features that you would miss out on by using OTel over the Datadog SDKs like I don't believe the profiler would work necessarily but that's a tradeoff to be made.
Not sure if the comment was edited or not, but "/s" is often used as a shorthand for indicating sarcasm due to it not being easy to infer tone in text, so "/HEAVIEST-S-POSSIBLE" is intended mean that you should read their comment in as sarcastic a tone as possible. So yes, they were being sarcastic.
> religious indoctrination

indoctrination is a given. Do you prefer your secular type, the religious type or the government type?
For what definition of "Here"?
I think a lot of the escalations involve more than just one other person bidding, so you'd really need to be running a good game to get three or four people involved to run up a price in something like this.

Additionally, in a competitive market, with multiple offers, people aren't doing a bare minimum deposit. More like 30 - 50K is involved based on my experience, but it varies dependending on state.... I'm currently looking in a new market, and we were told our offers should have about 10 to 30K on them between Due Dilligence and Ernest money....

Besides, it's just easier for the seller/buyer agent to have a conversation on which buyer wants it the most.
The iphones have horrible lens flares. The editing is a necessity.
The “/HEAVIEST-S-POSSIBLE” is an extension of “/s” which is used as an explicit indicator of sarcasm.
It is a major failure of them not to put pressure on everyone else by doubling memory. The LLM models would massively benefit. They could buy 32GB for probably less than 100 USD as a manufacturer.
Eh, no. A rewrite is pretty much always better. You now know the problem you’re actually facing. Drop all the little wrong assumptions. And in general are better equipped than the last time.

I vaguely remember reading here about a company that slapped a backend together in Python. When they took off, the compute costs stung, so they rewrote in Go. Saved most of the bill. Some time later that started creaking, so they rewrote again. In Python, but managed to save most of the bill again.
But then why not addressing the real problem? If a table has a few columns which are not used or invalid or deceiving, why did we let developers introduce them? Lack of planning? Lack of peer review? Lack of talent?

I understand these “ten rules” as: as long as you have a decent codebase and decent engineers, these ten rules will make your life easier.

These rules are nothing if you are dealing with crap codebases (they can help, sure, but they will be just patches)
Does this make Erlang a colonialist?
Well, testimony is over. Both sides have rested. Closing arguments tomorrow. Then it's up to the jury.
<< this data won't be sent

If there is one thing we should have learned over the past decade, it should be that if the data is collected, it will be sent.

I followed the argument and I understand what you are saying. What I am saying is that it was not that long ago that FF decided to disable plugins remotely ( I think we even discussed it on HN[1]). What makes you think they won't one day push an update to just upload that local data?

[1]https://lapcatsoftware.com/articles/2023/7/1.html
> and they never will be.

Therein lies the fundamental assumption that I don't agree with. I take part in online spaces where I am a moderator and others where I merely feel confident that the moderators care about my concerns.

I know that this is harder to scale. But I don't think it's impossible. That feels almost silly to me to say. Systems can be made incrementally more transparent and more robust, therefore why should we expect there to be a hard physical limit on how transparent and respectful moderation can be?

However, based on that assumption that it's physically impossible, I still don't think I agree that speech should be completely unrestricted. I'd maybe prefer to have tools to weed out dangerous elements even if means some good ideas are being censored, but that would require some really nuanced examination.
Emulation and compatibility layers seems to cover this just fine.
fantastic demo. 64k... i've never done anything like that. i think it is a very cool skill to have.
tl;dr: Tesla won’t be held liable for misleading marketing or buggy software because humans are capable of being distracted
You choose the buyers agent.
It should be useful (assuming the course is good) if you want to get a job programming in Python, although other skills are needed too, but you can build those as you go along.

It can be useful in many ways even if you don't want to get a job programming.

For example, writing simple programs related to any aspect of your personal, professional, business, or social life. You could write small software tools to automate or facilitate tasks in these areas, as many people do.

That could be both useful and fun.
> If we can indeed build a small cycler, then getting to a big one may be much easier than going from a small yacht to a transoceanic liner.

It still falls apart a bit due to the rocket equation. [0] When you're in a safe harbor on earth, it's somewhat simple to increase the size of your boat, most of the rules stay the same.

But as you build bigger cyclers, one will either need bigger rockets or more rockets and then possibly assembly/docking in space, so it's definitely more complicated than making a larger displacement in the water.

[0] https://en.wikipedia.org/wiki/Tsiolkovsky_rocket_equation
> China isn't a communist country, it's first and foremost authoritarian.

So are all “communist” countries. Communism (either Marxist or more generally) as a whole isn’t authoritarian, but all “communist” countries are products of Leninism or its derivatives, which definitely are, fundamentally, authoritarian.
Okta Core Platform Down
I mean while impressive all the art assets were very clearly knockoffs of Angry Bird's art.
It might help to begin with the end in mind. The goal of education and the reason you send your kids to school is so that they come out with skills that enable them to succeed in society[1] and you also want them to be bolstered as moral and ethical human beings.

If you trust the public school to do that - or at least do a better job of it than you could yourself - then you send them. On the other extreme, you either opt for private school or home-school.

I assume people don't make these decisions lightly. The path of least resistance is to send your kid to whatever random school they are zoned for. The next level of care is to move to an area with better schools or hope you can get into a charter school. Next level beyond that is paying a heavy price (in dollars or hours) to send them to private school or home-school. So I respect people who do that, a lot. It comes from care for their kids and ability to commit to it deeply.

As a personal observation, I was very lucky with the public school education I got in Brooklyn in the 90s. Especially in high school, I had many teachers that taught me how to think more than what to think. But that was 30 years ago and that kind of teacher was kinda old-school then. Back then, I can count on one hand the number of teachers I had that today would be categorizes as "woke crazies" (one tell-tale sign, they grade you on whether you agree with them, not the quality of your argument) but I suspect that ratio is way worse now. My kid is a toddler and I have a bunch of years to evaluate the teaching in our area, but I wouldn't think I'd be doing my son a favor sending him to a school that constrains thinking and speech rather than encourages breadth. I am very far from considering home schooling but if my choice is to basically stay home and teach my kids or to send them to a brain-deadening environment (that's an extreme, don't think it's happening in my town) I know what I'd pick.

[1] that is a combination of technical, thinking, and social skills.
Very well researched. Thanks for sharing.
Sorry, October 7th was unambiguously terrorism by any civilization's definition. The only disagreement can come from those who are sympathetic to the event.

The word terrorism isn't loaded, it isn't political, and it isn't undefineable. It's a term with a concrete definition.

Those are the facts.
Anyone with microeconomics knowledge would tell you that it depends on the elasticity on each side of the transaction.
No.

The point of the Twitter files is that politicians wanted to label information detrimental to their campaigns as lies. Which is Free Speech.

Politicians lie. Or maybe they don't. But whether they do or don't is irrelevant to them being able to say what they want to say.

Now your problem with them lying is apparently that Twitter moderated content on its website in response to the claims of political parties that the content was lies. That's Twitter's prerogative. That's also called Freedom of Speech.

But no one at the FBI or the CIA came in and told Twitter, "Hey, this is misinformation." In fact, unless I miss my guess, those agencies have vanishingly little interest in me as an American citizen being told the facts about just about anything.

The Twitter files prove that the government did not ask Twitter to take down anything. Liberal and Conservative political gangs did.

To put Freedom of Speech in perspective here, you can claim the government is out to label everything misinformation. I can claim the acceleration of gravity on Earth is roughly 9.8 m/s^2. And the government can make the claim that both of our claims are misinformation.

All 3 of those claims are Freedom of Speech. You can't say the government's claim is "bad", because it's claiming we're spreading misinformation. It doesn't matter if I'm "correct" or "incorrect", others, including the government, have the right to say I'm full of it.
none of your links give any cases where a woman was prosecuted or jailed for a failed pregnancy.

The links did cite cases where medical practitioners did not do their job because they were worried about the government.

Texas law specifically states that abortions in the case of risk to the mother are ok and the medical practitioners felt the language wasnt clear enough.
Have you tried x86 emulation on Windows for ARM? It works just fine for me.
Yep, need that robust barter economy to support the production of sticks and stones for WWIV :-)
Not every inch of America is in such a competitive market.
How do you manage schema changes?
I had a similar issue. A put a full price cash offer on a place for 1.9. The seller said they had a competing offer that was higher and asked me to submit a new offer at 2.1. I declined, and said they are welcome to provide a written counter offer at 2.1. The reason they won't counter is that a new higher offer from any buyer (me) will trigger escalation clauses for other buyers offers. Dirty trick that screws over buyers, because sellers can see all offer details.
Eh?

Default queue implementations come with co-operating queuing out of the box. I suppose you could use some hand-rolled queue with no internal locking, but this is disingenuous.

> you'll have race conditions or no cooperative queuing between multiple instances of the application.

You're thinking micro-service again here. There's no need to have multiple "instances" at all. Any concurrency is handled internal to the application itself with use of e.g. fibers, threads, etc. A good argument to why monoliths have drawbacks can't be "well its not a microservice". :)

> A good monolith still requires all the same hard decisions about modularity, high-availability etc.

Never said it didn't. What it doesn't require is all the tech stack to support that over many instances, because there's one instance. A large majority of µServices is just re-implementing what your runtime gives you for free.
Thanks for the data! It seems that adjusted for inflation, it still is an overall net decrease (11,500$ in 1990 equals about 27,000$ today).
Ask HN: Is there a way to get previous iOS timer behaviour back?
In iOS 17 Apple changed the Clock app in such a way that if you adjust the timer without starting it and then enough time passes that the screen locks, or you just switch away to a different app for a moment and switch back, the timer will reset itself to previous value.

It's infuriating. Nothing else behaves this way. When I prepare utensils in the kitchen, they don't jump back into drawers the moment I turn my eyes away from them. Microsoft Word also won't delete your last paragraph, if you Alt-Tab before saving the document.

On multiple occasions this caused me to start the timer with an unintended value.

Is there a way to get the old behaviour back?
I bought a few years back and we didn't really use an agent to find the house at all. Looking into it, I found that a certain percentage of the sale amount goes to pay the agent(s); 6% I think. If there are two agents, they each get half. If one person doesn't use an agent... the other person's agent gets it all. The person without an agent doesn't get to keep their half... it just all goes to the other agent. Wtf...

So anyways, we wound up bringing in an agent to help us out with the last bits, because we had to pay the money anyways, it might as well go to someone that helped us in some way.

The real estate process is fairly broken, as far as I'm concerned.
> The Germans seem to have a reasonable grounds to claim parts of your land. If 3000 Germans armed to the teeth with assault rifles, heavy machine guns and RPGs went on a rampage through Prague killing 1000 civilians, taking hostages, and retreating back to Germany... What would be your take on that?

People would be pissed, but that's about as much as they could do. Czech would have to negotiate.

I can certainly make a judgement that killing 100x more children than were killed during Oct 7 is more immoral. Don't need any history for that.
From what I understand it's a single test suite? Of course I don't really mind the clickbait title that much, it's hard to attract attention otherwise.
Personally, I really don't like this rule.

It's made for another typographic environment, with restrictions that do not apply the same way today. And adds semantic noise to the text.

The Unicode people could make a different kind of space for use there, but I don't think anybody would adopt it. It looks like something that should be handled by a mechanism similar to ligatures.
"I have a table called `onboardings` with the state field. I want to return how many people we have in each state. The Postgres query should return the state, how many people count, and what percentage do those people represent."

Claude-2, correct response and rounds the percentage - makes a nice assumption for me.:

SELECT state,
count(*) AS people_count,
round(100.0 * count(*) / (SELECT count(*) FROM onboardings), 2) AS percent
FROM onboardings
GROUP BY state
ORDER BY people_count DESC;

Phind, correct response as well! Really fast too!:

WITH state_counts AS (
SELECT state, COUNT(*) as count
FROM onboardings
GROUP BY state
),
total_counts AS (
SELECT COUNT(*) as total
FROM onboardings
)
SELECT sc.state, sc.count, (sc.count::decimal / tc.total::decimal) * 100 as percentage
FROM state_counts sc, total_counts tc
ORDER BY sc.count DESC;
If you offer an API then you can be used with tools like https://aider.chat/, which is the best way to use LLMs for coding. But if only available via the web it's not possible. BTW this is the main reason I pay for the OpenAI API.
Free will is not a topic for stats, but rather philosophy.
// other aspects of homeschooling were just a fig leaf over a whole lot of religious indoctrination

I was raised totally secular but I now understand that religion is about fundamentally aligning yourself to the highest aspirations ("what kind of man does G-d want me to be?") and even w/o actual faith, I am starting to think that's preferable to the current mode of "anything goes, you can be whatever you feel like and there's no judgement of any of your actions." So yeah I am not surprised that parents aren't dying to throw their kids into an environment that fosters the latter.

I used to think religion was about deep fear, now I see it more as about deep care. You may still disagree with what they care about but I find that harder and harder to do, personally.
The responses here range from denial to outright hostility at the author, which to me proves his point. This is Ground Zero for the people he's describing!
Oh just noticed these are Deliveroo prices. In store it is cheaper...
The fuck is that website