skysight-inc/HackerNews huggingface dataset:
Show HN: My structured editor for my language [video]
Eyg is a functional language with:

- Exhaustive typing, so a type checked program will never crash

- Structural (not nominal typing), so there is never any need to write a type declaration

- Effect types, built using row types. Row types are also used for Records and Unions

- No syntax, there is no parser the public interface to the language is a JSON format of the Abstract Syntax Tree (AST), which makes the structural editor necessary.
There's also the problem that there are a lot of low-quality journals out there which exist to get paid to publish just about anything.

To the OP, I agree with fjfaase - if you don't have references, your work won't meet the baseline scholarship 'real' journal expect.

"Real" means read by others in the field you want to publish. If there's literally no previous work to build on, then that means you aren't in that field, or it's not a problem which interests the field. At the very least you can start "every previous publication has focused on X [cite several review articles]. In this work I consider Y."

If you do have references, those give you an idea of where others in your field publish.
In Rust neither is duck typed. For T you must specify the traits it must have. This makes compilation fail at definition, not at the point of incorrect usage.

For an example of GATs, you can see the following:

https://play.rust-lang.org/?version=stable&mode=debug&editio...
I'm not sure if you're American or not, but in my country we're being torn apart by a mob of people who feast on outrage. I come from a family of Vietnamese immigrants, who's lives were ravaged by war and political persecution. I know what the world is like and it's fucking terrible.

I'm not trying to "brag" about the US homelessness rate. I'm trying to point out that things are honestly pretty good here. You can get educated, find work, and build a beautiful life for your family. The median household income here is like 6-7x the global median. Despite the recent political polarization, our government is the oldest and most stable in the world.

To me, 0.18% is a reasonable rate and the long term trend is undeniably downwards. I hope you levy these same criticisms against the likes of Germany, France, Sweden, etc... because they all have higher rates according to your chart.

If we don't stop this silly conflict fueled by internal anti-American sentiment, our country may implode.
Papago used to be the gold standard for Korean translation. Gpt4 crushes.
Admittedly she didn't save Toy Story 2 through skill or foresight or any other quality that would make them an exceptionally valuable employee, it was just luck that she needed an extra copy at that time for unrelated reasons.

Not to say that Susman is a bad employee, obviously she remained employed there for decades more and was promoted repeatedly to high positions, just that "saving Toy Story 2" is likely one of the least impressive parts of her resume.
> You cannot hurt me with an LLM. It may reshape the internet due to the fact that content generation just got a whole lot easier. Beyond that you would have a difficult time harming me in any way with an LLM.

I'm always surprised seeing these narrow views on HN.

History is the process of technology and culture shifting over time, influencing each other. There's not going to be some magic moment where we all wake up and turn on our television and see the morning news tell us that "AGI exists today, and here's what's changing." Not least because very few people ever turn on a TV in the morning anymore.

Individually, things will change. Maybe a given change will be small or large, fast or quick. And these changes will add up. Of course it's very scary that a massive change could happen overnight, but that's not the expectation and it's not the only criterion for AI danger (or climate change, or political instability, or economic instability, or...)!
Why make a product your audience doesn’t want? Some parents don’t want to explain heterosexuality to their 5 year olds in a movie about children’s toys.
Didn’t Pixar throw away that copy and restart from scratch anyway?

> But there was another twist. After all the efforts to save Toy Story 2, most of the original version of the film ended up being chucked out anyway. Bosses didn’t think the movie was good enough and it was remade.

So I don’t see how saving a backup of a version that was mostly thrown away saved the movie.

https://www.independent.co.uk/arts-entertainment/films/news/...
I suspect that they are counting the parking surface nationwide to living space surface nationwide, not just domestic parking.

For example this would include all the parking spaces at schools, offices, walmarts, etc.
> People have smartphones everywhere now, this stuff is just getting captured more often.

"Perception is reality". It's like all of those studies that showed from the 90s until COVID crime consistantly was dropping, yet if you asked people they felt like it was worse than ever due to aggressive reporting, esp. by "BREAKING NEWS" crews on local news channels.
Ah I'm not talking about NetBSD there specifically, mainly Ubuntu and Debian since that's what I typically use. But in general the OS support isn't very good.
Naughty Dog continued using Lisp for game development throughout the Uncharted series at least, I'm not sure about The Last of Us but I would be very unsurprised if that changed.

They just stopped having the game written nearly purely in custom Lisp dialect, instead only mostly - effectively switching from GOAL setup of Jak&Daxter run-time to similar approach to GOOL in Crash Bandicoot - core written in C/C++ running considerable portion of game logic in Lisp (variant of PLT scheme in Uncharted).

Uncharted dev tools were also built in PLT Scheme (aka Racket).
I am not sure how you came to the conclusion that there is no research on this topic. On Google Scholar you can literally find millions of research papers discussing the risks of AI, its ethics, alignment with human values, and so on, for example:

- Scherer, Matthew U. "Regulating artificial intelligence systems: Risks, challenges, competencies, and strategies." Harv. JL & Tech. 29 (2015): 353. (934 scholar citations)

- Araujo, Theo, et al. "In AI we trust? Perceptions about automated decision-making by artificial intelligence." AI & society 35 (2020): 611-623. (334 scholar citations)

- Osoba, Osonde A., and William Welser IV. "An intelligence in our image: The risks of bias and errors in artificial intelligence." Rand Corporation, 2017. (278 scholar citations)

- Gabriel, Iason. "Artificial intelligence, values, and alignment." Minds and machines 30.3 (2020): 411-437. (216 scholar citations)

- Bryson, Joanna, and Alan Winfield. "Standardizing ethical design for artificial intelligence and autonomous systems." Computer 50.5 (2017): 116-119. (214 scholar citations)

- Yu, Han, et al. "Building ethics into artificial intelligence." arXiv preprint arXiv:1812.02953 (2018). (200 scholar citations)

- Munoko, Ivy, Helen L. Brown-Liburd, and Miklos Vasarhelyi. "The ethical implications of using artificial intelligence in auditing." Journal of Business Ethics 167 (2020): 209-234. (180 scholar citations)

- Christian, Brian. "The alignment problem: Machine learning and human values." WW Norton & Company, 2020. (178 scholar citations)

- Manheim, Karl, and Lyric Kaplan. "Artificial intelligence: Risks to privacy and democracy." Yale JL & Tech. 21 (2019): 106. (178 scholar citations)

- Russell, Stuart, et al. "Ethics of artificial intelligence." Nature 521.7553 (2015): 415-416. (164 scholar citations)

- Risse, Mathias. "Human rights and artificial intelligence: An urgently needed agenda." Hum. Rts. Q. 41 (2019): 1. (135 scholar citations)

- Turchin, Alexey, and David Denkenberger. "Classification of global catastrophic risks connected with artificial intelligence." Ai & Society 35.1 (2020): 147-163. (108 scholar citations)

- Taylor, Jessica, et al. "Alignment for advanced machine learning systems." Ethics of Artificial Intelligence (2016): 342-382. (95 scholar citations)

- Santoni de Sio, Filippo, and Giulio Mecacci. "Four responsibility gaps with artificial intelligence: Why they matter and how to address them." Philosophy & Technology 34 (2021): 1057-1084. (84 scholar citations)
I, for one, own that label.

I support free speech except in some circumstances where curtailing it makes almost everyone's lives better.

Where I support it to the most extreme: criticizing the government.

Where I want it most throttled: my own living room, so I can have some peace and quiet.

I think most functioning adults have a similar spectrum of allow / deny and aren't absolutists on the topic.

And, I mean... I don't think we need to look deep into the history of the Internet to see that becoming the dominant pattern. USENET failed. Email without spamblockers failed. Every forum either eventually adopts moderation policies or goes underground where barely any casual user hears of its existence.

The user interprets lack of censorship as damaged and routes away from it.
He is describing deterministic uniform round to nearest quantization. The most common smarter mathematical approach would be randomized rounding and it will solve this issue.

(Issue being that the deterministic rounding is a biased estimator of the sin function)
Because DeepL's quality, unfortunately, is still miles behind ChatGPT. Especially when the target language isn't English.

I can read some Japanese, so I know it when it's very off. It often translates thing into totally opposite meanings, or omit entire sentence within a long paragraph. I trust broken results in Google Translate more than DeepL's when it comes to Japanese, as it's at least more literal.

DeepL also has an infamous issue where when you live-update your input (by adding more sentences), it will repeat the same sentence over and over again. You have to restart from scratch to avoid this issue.
Here's my personal template for semi-complex prompts:

System message

[A couple sentences of instructions]

Example 1 - Input
##
[example input 1]
##
Example 1 - Output
##
[example output 1]
##

User message

Actual 1 - Input
##
[the thing you want it to process]
##
Actual 1 - Output
##

Fill in all the [] sections. Then hit submit. This should work pretty well. I'd suggest setting the temperature to 0 if you want more predictable responses.

I wrote up additional info here: https://llm-utils.org/My+template+for+a+semi-complex+GPT-4+p...

I first played with GPT early 2021, and have been actively using it since mid 2022. This the method I've found to have the best tradeoff between complexity and effectiveness.

Note that I always try to zero shot it first, and I only use this method for things where zero shot fails, and where I need GPT to get right and that it's worth the effort of making a few shot prompt for.
Isn't the net result the same? Is it better to pay (for example) $500 to remove a tonne of CO2 from the atmosphere, or to pay $100 to prevent the same amount of CO2 from being emitted in the first place?

If CO2 removal costs us more than emissions reduction technologies, isn't it a false economy?
Still no sign of workable regulations? Better get on an sue everyone for not following rules that don't exist yet...
A rando can't deny your freedom to post, but they can deny you interaction with anyone beyond your own instance. Most instances have a pretty long blocklist (albeit sometimes for good reasons).
> The Wall Street regulator said Binance had been mixing “billions of dollars” in customer funds and secretly sending them to a separate company called Merit Peak Limited, which is controlled by Binance’s founder, Changpeng Zhao.

This sounds very much like what FTX was accused of doing.
One way I've come to answer "why Lisp syntax" is through the following proxy question:

> If you want extensible syntax, what should the base syntax be?

The regularity and austerity of Lisp syntax comes from this idea. If Lisp, by default, were loaded up with all sorts of syntactic constructs [1] many of us take for granted today (which may in and of themselves be good!), then it leaves less room for the programmer to extend it in their own way. It turns out that the syntaxes we take for granted today—like for(;;){} loops or pipe | operators—are perfectly serviceable in their S-expression-equivalent form to the working Lisp programmer.

The author is right about why Common Lisp's syntax extension facilities (macros) work; the language is in a sort of syntactic Goldilocks zone.

[1] To properly discuss Lisp, we really ought to distinguish meta-syntax (the parentheses) and syntax (the grammar of symbols and lists). Common Lisp has lots of syntax, like

; variable binding
(LET ((<var> <expr>)*) <decl>* <expr>*)

; type declaration
(DECLARE (TYPE <type> <var>))

; function definition
(DEFUN <var> (<arg>*) <decl>* <doc>? <expr>)

All of this is different syntax! These are different rules about how symbols etc. are allowed to be arranged to produce a semantically meaningful program. But they wear the same clothes of meta-syntax, which is relatively small, mostly based off of the fundamental idea of S-expressions:

<s-expr> := <atom> | ( <s-expr>* )

<atom> := <symbol> | <number> | ...

Ordinary macros allow extension of the former class of syntax, while reader macros allow extension of the latter class of syntax. When talking about "macros" unqualified, we usually mean the former, but Common Lisp supports both.
Paying for an escrow service for every small transaction seems darn expensive.
Right? It doesn't have to fully elide the result even. If the top of the SERP said "3 results hidden because they are paid sites on your non-subscribed list" I would appreciate the info.
As someone who doesn't like Python. Python's problems have almost nothing to do the lack of functional programming. It does have the worst lambda syntax of any programming language but that is about it.
> But, DC is one of the more affordable top-tier cities in the US.

Is it?

This 2023 study[1] featured on Bloomberg[2] ranked DC at #7 of 76 most expensive large cities in the nation, requiring $245k gross pay to feel like $100k after normalizing taxes and cost of living.

[1] https://smartasset.com/data-studies/new-100k-how-taxes-costs...

[2] https://www.bloomberg.com/news/articles/2023-04-15/making-30...
The current LLM’s can say things, but they have nothing to say; they all just say whatever sounds good in context. We have yet to have a generally useful AI which can reason, and use the reasoning to tell us things.
Every time there’s an article about virtually anything on Hacker News, this line comes up. Tell me, how do you think the media should report on governments and companies, if not through protected sources? Like, do you want them to just be press release machines?
There's a flip side you're skipping over. Going above and beyond has an opportunity cost, you are spending time and effort on a chance of improving your employment situation at the cost of spending that time and energy elsewhere, places where it _could_ be a guarantee at a better life. For example, spending time doing things you love, or spending time just being around the people that you love.

In my opinion the optimised outcome is a good life, not good employment.
And if the child sees two men kissing on the street?
I think it will likely be this - I'm already seeing all sorts of companies pivot to marketing "PFOA" free teflon alternatives (Starflon was the one that popped up last).

I suspect that just like the whole BPA in plastic thing - the "___ free" alternatives will not be any better.

They will just be sidestepping the very precise legal definition of the chemical that got them in trouble.
> Unfortunately condominiums have intractable governance problems
https://en.wikipedia.org/wiki/Surfside_condominium_collapse

> specifically seniors on a "fixed income" will never vote to make capital improvements even if these could save their life. Contrast that to a building owned by someone who owns a lot of buildings and has access to capital who really could finance repairs that keep buildings safe and habitable.

It's very similar situations in Poland (most people live in condos they own), and repairs and improvements are done all the time. Perhaps it's just a matter of wealth of the residents.
Use a sitemap, that’s not google specific at all.
Maybe, but not in this case. In this case the person in question was promised something ("more favourable terms for south Asian immigrants"). He voted accordingly. His side of the vote won. And he got the exact opposite as a result.
> Companies only care what you did for them yesterday

Yeah, they should employ you forever if you, out of luck, not work, had some hard drives at home in 1998.
"The S.E.C. said the world’s largest cryptocurrency exchange mixed “billions of dollars” in customer funds and secretly sent them to a separate company controlled by Binance’s founder, Changpeng Zhao."
Dunning-Kruger is a college professor who pronounces truth to the heathen in a condescending way.
Why would they go extinct though? This makes no sense.
Perhaps that is one additional layer of friction that will make human moderation / social voting feasible. The fire hose of AI trash content will come too rapidly for it to work at layer 1 (all content), but if the barrier to entry is a financial transaction to take over placement in a human-curated webring or directory it becomes easier to moderate / vote away the trash.
The difference being that Cars cost 70m (around 100m in 2023 dollars) and made 460m (half of that in the US).

Lightyear cost 200m and made 220m. It didn't even make a profit in the US market.

It's hard not to consider it a massive flop.
Lol no twitter def doesn’t run out of goodness but if Elon wants to keep the view count high, he’s going to continue to allow any sort of engagement
Didn't Deja become the basis for Google Groups, which still remains today.
Every place that uses C++ uses some narrow fraction of the capabilities. Teams try to find an intersection of features that hopefully a majority of the team can understand.

In an interview setting, keep answers contextual and tight. In my previous professional setting, we would solve the problem like this : <however>. Try to solve problems using only the subset you know.

if you're pushed into a corner and they really want to overload [] or whatever, be clear that because, c++ is a large and sprawling language, for production code you'll need to check the spec, or consult with a teammate. With that understanding in place, you can take a stab at it.

If you get dinged for that, you probably don't want to work there anyway.
A good idea is to not to compute the values of cos from 0-2pi, but further reduce the range, using
cos(a) = cos(-a), and cos(2a) = 1-2cos(a), or cos(a+pi/4) =...

So we really only ever need to be able to compute cos in the range 0-pi/4.

Then for further accuracy we can do the taylor expansion around pi/8. (or other approximations)

finally the number of terms for a fixed accuracy varies with the distance from pi/8,
Some Rust developer said that Rust was originally what Go has become.

So if you want to try something like that, just look at Go :)
But Lisp has a much longer tradition of terrifying social and linguistic conservatives since 1959.

And look at all the social conservatives desperately fighting against the inclusivity of the Rust and other communities, which kind of proves my point that it terrifies and threatens them.
You've misundertood the list, Lightyear ranks one place below Cars, so (on this list at least) it's viewed as worse than Cars. But better than Cars 3 and Cars 2.
Yes, it goes in the other direction too. A few books that I've read about delegation have been quite helpful for prompt writing.
There's commercial options that work like this (and indeed those installations can more or less be updated and upgraded with new stuff decades down the line, we've been there, it's been done, and continues to be done) but that's the rub: it's commercial, it costs money, and the hardware involved is much more expensive than cheap IoT gadgets out of shenzen. Wanting the lowestest cost option to also have the longestest life and highestest reliability is of course something we would all want, but generally not how this reality is structured.
And BTCUSD down sharply on the news... The crypto winter will be a long one.

Link is broken. Here's the SEC press release: https://www.sec.gov/news/press-release/2023-101

And the full 136 page complaint: https://www.sec.gov/files/litigation/complaints/2023/comp-pr...
It's disappointing because both Luca and Turning Red were great, and Soul wasn't shabby at all. Haven't seen Lightyear and Onward was boring.
Of course gimbal lock is a thing, and there are ways to avoid it, even without quaternions, but I'm curious as to when it should be avoided. I think that gamers are now so used to it, that removing it might cause more problems than it solves
There is no best-of-the-best at this stage. Only those who seem hyper bright. Success in biomedical research is much more about other factors—persistence and inquisitiveness being two that are crucial.
My experience was more than five years ago, so if I get the itch again, I'll take another look.
She happened to be lucky 25 years ago. I am not sure that suitable 'good treatment' means employing her forever.
>So something definitely changed

A massive ton of bot generated scam sites that scrape content like SO and splatter it on 50 other domain names eating up all the bot time?
> Add to that the automatic CAPTCHA-hellban you get if you use "site:" in anything more than a tiny amount

Pretty much any advanced operators seem to do it for me, notably "intitle:" and "inurl:". I'd wager that there are a lot of automated searches using these to look for exposed admin interfaces, but I find them extremely useful for filtering out the crap that clogs up results when a ton of news sites all regurgitate the same viral press release or wire article.
Everything you claim here applies to the careers of members of the writers guild. It takes years to release movies/shows.

Yet somehow the power backing their union has historically not been "greatly diminished," at least not compared to other unions.
https://www.infoq.com/presentations/Null-References-The-Bill...

It's just another variant of that: having INT32_MIN is just as bad: these things inevitably end up unrepresented in the typesystem, someone writes a naïve function over that, and suddenly your "nulls" are being summed or computed on, particularly when they're rare in the dataset, or at least in the one the coder tested with.

(Even in SQL, where it's a separate value — NULL — it's still an awfully weak type system, so sanity is by no means assured.)

Give me must-be-explicitly-handled Option<T>.

(So, I'd argue that even if there were a performance loss, in most cases, the gain in correctness is the right tradeoff.)
I wonder if SBF provided them some evidence/hints. CZ was one of the reasons that accelerated FTX's demise.
I'm a Lisper. One of my good friends at Apple was a hardcore FORTH guy. I had other friends there that were Lisp or Smalltalk enthusiasts.

We got along great.

The early meetings at Apple for the design of the Dylan language definitely had both Lisp and Smalltalk folks participating. I wouldn't be surprised if some of the participants were FORTH folks, too.
You can also use b00merang GTK+ themes to get the same look in GTK+3 and GTK+4 apps. The end result is extremely usable, even the new responsive and mobile-friendly interfaces in GTK+4 apps work just fine. (Unfortunately GTK+4 has lost out-of-the-box support for themes, so you must change GTK-global configuration instead.)
Add Steam forums to those. 9 out of ten times, game walkthroughs or hints can only be found on Steam, according to whichever search engine. But only if you have a login there, of course...
Most of the complications for parsing XML come down to entity resolution, and dealing with namespaces. Take those out, and it is back to trivial. That is, surface level parsing of an XML document is somewhat easier than other documents.