skysight-inc/HackerNews huggingface dataset:
An overview of a problem that I run into is the need to pair some input, validate that input, query the system based on the input, expose the intermediate stages for inspection and modification by arbitrary consumers, conditionally modify the underlying system in some way, and provide well defined semantics around the outcome while handling failure recovery, distributing the processing into multiple, cancelable stages, and sharing the system context and other forms of memory with concurrent operations.

The right way to behave in each situation based off of the input, the state of the system, or failures encountered is determined by history and by many people.

A language that makes my job easier solves problems like:
1. Help me describe my system as straightforwardly as the above description
2. Prevent me from neglecting to handle failure and reduce the work to specify how to handle failure
3. Prevent me from introducing logic errors. e.g. concurrency without synchronization, or passing an int where a string is expected.
3a. Help me verify that my solution does what I expect.
4. Make it easy to accumulate data and pass information through various interfaces.
5. Make it easy to extend behavior without modifying existing code.

Given that we probably spend 95% of our time plumbing information, handling failure, and reducing logic errors, an order of magnitude of productivity increase is realistic. Choosing an algorithm or data structure is less than five percent of time allocated.

Rich Hickey and Clojure seems to focus on people like me. Rust seems to focus on another subset of the challenges I face. One of the useful ideas I've encountered is that coding is a specification design process rather than a manufacturing process. We start with an ambiguous description and specify behavior in increasing detail until a computer can work with it. The article suggests that we can subordinate some of this detail to the compiler. The details that it chooses to subordinate aren't the details that disrupt my productivity.
There are companies that do nothing but calculate the tax on some good in a given jurisdiction. I only know this because my neighbor works for one, and before that she worked for another.

I don't know the names and couldn't recommend one if I did, but when she was at her previous job I asked if it was really a big deal deal and when she started to tell me it was like opening the gates of hell... Seems like if there are two such companies on the west coast there must be several at least.
that's an argument from authority rather than one of science though.

we believe things only once we've exhausted our attempts to disprove it
What about the Bullet Cluster?
I don't think this is a good idea, and I don't think it will ever happen on a large scale, simply because programmers use different editors for valid reasons.

It's a dealbreaker if everybody working on the same project has to use the same editor.

Development practices that seem suboptimal for the individual are often optimal for teams. And teams develop all the major pieces of software we use.
Its also reasonable to understand the desire for people to describe these events in human terms, and ignore the possibility that we are not alone in the universe - especially since their technology appears to be far, far superior to anything we have at our disposal.

However, no such conclusions can be made - either pro- or anti- the "But its Aliens" argument - since the entire subject is couched in dire secrecy, with a lot of people whose lives would change, drastically, if it were the case that these UFO's turn out to be non-human in origin.
China has a long history of imperialism. They even tried attacking Vietnam after its war with the US and failed.
This is the Crux of the problem. Elon musk and Tesla are happy to use words with misleading meaning deliberately. Autopilot, full self driving, "solved", safer than a human driver etc.
Thanks for the post. Intrigued about your HW stack. Are you looking to hire a HW person with embedded FW experience coupled with SystemVerilog experience? Are you remoteok?
This is the simplest explanation, indeed. In fact UFO sightings sharply increased starting in the 1940s which corresponds exactly to the period when military aviation research and experimentation took off.
You know what they say, when you’ve got a hammer everything looks like a nail. I’m an armchair physician at best, and I’d say that this doesn’t disprove the viral infection thesis at all. That amyloid and tau act as prions isn’t really relevant if they’re in fact produced initially in response to an infectious agent in an attempt to stop its spread. I’d suggest this is particularly likely to be true as attempts to clear out or suppress the amyloid and tau plaques in fact clear them out with no impact on cognition. This is mentioned in the article itself.
> "heavily leverage parallelism, yet completely hide it"? lazy evaluation? This sound like functional languages.

I agree with your general comment, but this statement seems a bit optimistic on the functional languages side. Lazy-evaluation? Haskell does it, but most other functional languages don't.

Heavily leverage parallelism but hide it - this is often touted as an advantage of pure functional languages, but from what I've heard, in practice it has never panned out, at least if I'm interpreting it correctly as automatic parallelization. Turns out, while the compiler can prove it would be safe to do so, a lot of the time it would massively hurt performance, and the compiler can't tell when that is the case or not.

So, even in a language like Haskell, you still have to explicitly parallelize code, think about chunking etc. And if we stray from pure parallelism and into concurrency, all of the problems of having to do explicit synchronization come back, you just have less to worry about with no(/less) shared state.

Funny thing, one langauge that does 'leverage parallelism, but hide it' is x86_64 assembly, where the processor automatically executes (parts of) assembly instructions in parallel, based on data dependencies and available compute ports.
60-70 hrs/week. Typical 9-5 with a few hours each night and some long stretches on Saturday/Sunday.

I'm all in favor of work/life balance, but, in my experience, an early stage founder simply can't give less. Markets move too quickly and there's too much to be done.
This lists three possibilities: Malfunction of equipment and/or crew, US government operating a real UFO, or aliens operating a real UFO.

I can think of one more which seems more likely: US government testing secret radar spoofing tech (probably operated from a submarine).
Second this, and add 'every thinkpad I've ever owned' to your hardware caveat.
Very nice. But I wonder why they did encrypt assets or save files in the first place for a single player game? Is this ever useful?
> instead of how they currently do it where it constantly reminds me to be alert, then I might change my position.

So you're a new Tesla owner then?

Because a few years ago, it'd only tell you to put your hands on the wheel once every 15 _minutes_...
What ratio of the races can be said to be diverse? At a minimum, wouldn't one need to know the racial breakdown of the applicant pool before being able to conclude that Stuyvesant is not racially diverse?

I also don't understand why a three person class with one ethnically Chinese person, one ethnically Arab person, and one ethnically Indian person would be considered to have no racial diversity at all. Why is "Asian" one big race, but (for example) Caucasian and Hispanic two different races? It just seems so arbitrary.

Do you have an opinion on Stuyvesant's admission policy? Your comment seems rather pointed but stops short of condemning it.
Isn't that just a declarative language, or prolog?
BTW this is called "program synthesis" and there's a lot of research in the area right now. It only works for tiny programs at the moment.

Program Synthesis is Possible https://www.cs.cornell.edu/~asampson/blog/minisynth.html
Americans can still have their air superiority over other humans - maybe the aliens will just stand by and watch while we destroy each other in the next conflict. With such technology one can imagine they'd have the best seat in the house for such a show...
>It actually was expected, and any reasonable driver could have easily prevented it, because it had almost happened so many times in the past.

Not true if is the driver first time on that road at that time of day on that software version.
Except cheaper phones tend to be worse consumer products.
How is it fair that Julian Assange is the one being arrested (not saying he shouldn't if he is guilty) meanwhile the people responsible for countless disgusting war crimes and corruption that Wikileaks exposed are off free? Shouldn't we focus on the real issues here?
Same boat for me: co-op living in college has infected me with a longing for community. Russia (and Europe to some extent) has a movement of anti-cafes, which are communal spaces that you pay a bit per hour to inhabit. Come to work, play board games, read, or just hang out. Coffee is often provided for cheap.

We could use these in the US. I guess hackerspaces may come close in spirit, but I’ve never been.
Fonts like Fira Code are attractive for the same reason animated cursors are attractive - they give people a way to add fun little baubles to their working environment. No, they don't benefit your productivity and in many cases make it worse (e.g. confusing ligatures or buggy editor plugins) but decorations are by definition not of utility.
Autopilot systems on (small) boats neither have, nor advertise, nor imply that they have any form of collision detection, let alone avoidance.

Tesla on the other hand describes its system as being safer than human drivers at avoiding accidents.
"The states are prohibited from passing ex post facto laws by clause 1 of Article I, Section 10. This is one of the relatively few restrictions that the United States Constitution made to both the power of the federal and state governments before the Fourteenth Amendment." - wikipedia

What California is doing is unconstitutional and they should be slapped, hard.
The assumption that people's lives would change requires scrutiny. For most I think it would be a promotion of Enquirer headlines to premiere news, but little else. SpaceX would soon become a public company. But what else? Life goes on, unaffected. People still would need to pay their taxes.
Parent is right this is an appeal to authority. It doesn’t make it more or less right whether a Nobel prize winner comes up with the idea or my mom does, we need to evaluate it on its merits alone. The corollary as I mentioned in a sibling post is that when you have a hammer everything starts to look like a nail.
>That whole 2004 incident with a video is just one man's story

This Newsweek article quotes Gary Voorhis, whereas the pilot in previous reports was Dave Fravor.

“At a certain point, there ended up being multiple objects that we were tracking,” Petty Officer Gary Voorhis, stationed aboard the Princeton missile cruiser escorting the USS Nimitz, testified. “They all generally zoomed around at ridiculous speeds, and angles and trajectories and then eventually they all bugged out faster than our radars.”
I think the 'how do we decide' is when we can show autonomous driving is significant safer than humans.

I suspect the problem will then be computers avoid many accidents humans make. But make mistakes that seem obvious to humans. So even though the overall risk is lower it becomes very hard to accept the computer did something wrong vs admitting a person was speeding and they stuffed up killing themself.

To allow this tech to exist we might need legislation that autonomous car companies can't be sued unless there is clear malpractice in their systems vs some level of 'accidents happen'. In the same way a wife doesnt typically don't sue her husband that caused an accident that killed themself.
Yes, its editorial board seems to have been hacked some time ago.
Why do you say that's a good thing?
Censorship Can't Be the Only Answer to Disinformation Online
People are suing based on injury and illness that occurred during the period this knowledge was being suppressed, etc. Not because they took up smoking last year and are sick.
>Only one end of that spectrum is acceptable

Which makes it all the more important that you correctly identify and apply the mechanisms that push a place towards one end or the other.

>Everyone needs it, and we all have incentive to reduce costs—except landlords.

64% of housing units are owner-occupied [0]. These households are not landlords, yet they are incentivized to raise property values.

[0] https://www.census.gov/quickfacts/fact/table/US/VET605217
They're a little cagey about that (https://www.zeromotorcycles.com/charging/) but it looks like it can fast charge in ~1hr and charge off a standard wall outlet "overnight".
Well Cassidy, one of the ElementaryOS founders worked on Pop!_OS too and I haven't tried it, but I'd hope that it therefore has some of his UX pizzaz!

https://cassidyjames.com/resume/

Having used ElementaryOS for two years I had thought that if my next laptop was a System76 I'd give Pop a go.

I do hope they become the Mac of Linux.
Lowering the overall odds of a crash may not be enough if the few accidents happen in circumstances that a human driver would have absolutely no trouble with.
Then maybe using the Autopilot or a Tesla vehicle should be subject to rigorous training and repetitive simulator sessions every 6 months to ensure that the drivers are using it correctly and are aware of its current capacity.

If it’s like an airplane, should be regulated like an airplane.
Kindly consider

https://en.m.wikipedia.org/wiki/1561_celestial_phenomenon_ov...
Bad news! Prions are extremely stable and not even boiling, Protease or high radiation can disrupt them.
> that's an argument from authority rather than one of science though.

No. An appeal to authority would be "this must be true because someone authoritative said it". Saying "I am willing to treat this claim more credibly than other claims because the source is credible" is not a logical fallacy.
Maybe it’s time to forbid them from receiving any taxpayer funds and require them to take donations or sell tickets/merchandise/media rights only.
Why not a foreign government? Or even a private corporation?
Tax spending, not income.

Income tax is theft since it is the state usurping the will of the individual, and literally saps the agency one might have over ones progress - Expenditure tax is a better solution, since it allows the individual to maintain agency over their wealth, while also allowing the state to gain income on equal ground.

Really, its time for societies to evolve beyond state-supported theft through threat of force, and grant individuals more agency over how they use their wealth. The current system is criminal.
> is a problem you need to solve for reliable autonomy independent of lidar

Not for L4. A level 4 vehicle is not expected to operate under all conditions, including weather and location.
They should get a medal.

Microsoft was way behind in the Web era and IE6 was attempt to slow everybody else down and create web that works only with MS software.

The IE6 was prime example of the Microsoft strategy of embrace and extend using market share. They build software that included harmful features, broke standard or for no reason and had intentional inconsistencies.

Microsoft was pure "engineering evil" during the Gates era.
I mentioned another possibility in one of my other comments; a UV laser on a satellite (or some other suitable platform with a view of the entire flight volume, or multiple overlapping platforms) being focused to create a movable plasmaball.
Haha I think we’re on the same page.
Plasticpunk

Featherpunk

Postpunk
Global Startup Ecosystem Rankings
This was in law, and I observed it with regard to both undergrad and law degrees.
Not at a moment's notice. The automation must react during emergencies, but humans can navigate and solve stuff that the automation can't.
The problem is:

- Autopilot doesn’t work in that area. Driver reports it to Tesla.

- Tesla fixes the issue in a software update.

- Driver sees the improvement, and happily relies on autopilot.

- After a while, a new software update introduces a regression.

- Driver doesn’t find out about the regression until it’s too late (and is not around to testify about it anymore).
Why $40K+? If you study abroad (e.g. in EU), some Universities are free and other one offer study programs in the range of € 4K-5K.
A few advancements that could be very good:

* Moving towards representing code on disk as an abstract syntax tree, and anyone can edit with whatever syntax they prefer. Syntax becomes virtually irrelevant.

* The above point opens the possibility to represent code as visual graphs (even to code within virtual reality). Graphs and visual programming are useful, but to be able to toggle between textual and graph representation gives you the best of both worlds.

* Smarter compilers. For example: easy to use compile time constraints. Think about the ability to specifiy something like the minimum value an integer can be set to. This could allow the compiler to produce compile time errors for things like index out of bound errors, with zero runtime overhead. More complex constraints could be user defined. The mindset of programming could move to thinking about how you can do as much as possible at compile time.

* The ability to embed documentation alongside code. For most codebases the ability to understand the code is part of value of the code. Comments don't go far enough, particularly when working with visual concepts. Being able to embed readily accessible documention within the code could help dramatically.
The article would have been a lot better if there was at least one example of where a coding ligature was a problem, rather than talking about feet and inches

For instance it mentions the pairing => but provides no examples.

After reading I’m far from convinced that carefully curated language specific ligatures are a bad idea.
Foia Man in Black's department

CIA records here:
https://www.cia.gov/library/readingroom/collection/ufos-fact...
Even if the overall trend is to reduce many human freedoms in the aggregate, there are always individual humans who are outliers and can use technologies and policies in ways other than as “designed” — and I’m sure this forum has many of these individuals as members.

In the specific case of the Internet, the broad and rapid access to raw information can be very powerful if you are able to suitably filter, sort, and use that information to increase the freedoms that are meaningful to you.

(And, of course, the term “freedom” is extremely overloaded today — it may help to be very clear and precise about one’s usage.)
You're probably right. I wasn't trying to be dismissive, I just naturally matched OP's energy without giving it much thought. But with a little forethought I could have presented my argument with a more neutral tone.
Read a bit more carefully and you'll see "decrypt" isn't in quotes, and as such is my word, not Zuckerberg's.

The keynote's online. (https://www.facebook.com/FacebookforDevelopers/videos/422572...) He mentions end-to-end encryption a variety of times, but one example is at about 15:23, where he states, and here I do quote, "without having to worry about hackers, governments, or even us being able to see what you're saying".

Now, skepticism about Zuckerberg and Facebook is warranted, but my recollection of the keynote is that statements like this didn't leave much wiggle room on this particular point. They were playing word games in other areas, like abusing the term "interoperability" to mean "between the different Facebook-owned apps", but I don't think they were here.
Not exactly, but it is owned by folks associated with Olivet university, and this bizarre scheme: https://www.nytimes.com/interactive/2018/11/27/style/what-is...
It also makes the lives of terminal emulator developers much more difficult. Won't someone think of the terminal emulator developers?
Certainly, the rationale for spending $21Trillion on military superiority instead of investing it in a healthy society, would be minimised.

If it turns out that aliens are on the planet and have advanced technology that could ruin us all, maybe the Pentagon and the Kremlin would find a reason to stop starving their own people for the sake of assumed dominance over the planet, and instead unite to either befriend, or defeat, the common alien friend/foe.

One can imagine the reason all of these events are couched in such secrecy might be, indeed, militaristic hubris. Or, in other words, FOMO at a grand scale ..
Location: Mumbai, India

Remote: Yes

Willing to relocate: Yes (Visa assistance needed for jobs outside India)

Technologies: Python, Django/Flask, Ansible, Docker, Javascript, HTML/CSS (certainly willing to learn more)

Résumé/CV: https://codingcoffee.dev/resume.pdf

Email: shenoy.ameya@gmail.com

I have ~2 years of experience working with Python and Javascript, working for the open source project ERPNext (https://github.com/frappe/erpnext). I'm proficient with backend development, infrastructure automation and Linux/Unix systems. Some of my areas of interest include Image Processing, DevOps, Backend Development and Machine Learning in general. Looking forward to work in the healthcare or IoT or backing and financial sector.
Antagonistic to whom?

Tesla is using the public as guinea pigs. They can defend themselves with data. Customers/investors should ask them to share more than they do, which is a mere few sentences [1] [2].

[1] https://www.tesla.com/VehicleSafetyReport

[2] https://www.youtube.com/watch?v=HqvatzjHGyk&t=47m17s
the future is now old man, you WILL run vscode in a deeply nested docker environment and you WILL learn to love it /s
Vaaste – Dhwani Bhanusali – Dance Cover – Bollywood
Tiktok
Haven't heard much from Helix since 2017, and it does appear to be inactive since. The limitation to only Strings, Integers, Floats, and Booleans made it pretty hard to use in practice given how Array/Hash/Object-centric Ruby is.

Though the latest Mozilla blog post about Rust FFI using protobufs makes me think rolling the same approach on top of Helix's groundwork with Strings should make it possible to pass around meaningful objects with a bit of overhead.
Valve made L4D2. Or at least did a significant portion of the work. The problem with Epic is that they are either paying publishers for timed exclusives, or purchasing publishers outright in order to create artificial monopolies, and restricting consumer choice.
Location: Brisbane, Australia
Remote: Yes
Willing to relocate: Yes, but would prefer not to. E3 eligible.
Technologies: Keras, Tensorflow, Python, R, Ruby on Rails, C, JS, React, Scala, OCaml, Postgres, most of the AWS common toolchain from a devops view.
Résumé/CV: https://chriscurran.work
Email: chris at scut.tl

I've been in the individual contributor game for a long time. Solid development experience (front end, back end, apps and data pipelines), devops and SRE experience and a very strong interest in machine learning with some experience in commercial ML development.

I am keen to try my hand at almost anything.
Intel Won't Comment on Purported Roadmap Leak
I have always been told that I should save my money and build a nest egg. That I should not stop until I have 6 months to a year of runway, and that once I get there, treat that money as if I don’t even have it. I have lived by this advice and I am grateful for receiving it early.
This is very disturbing — the idea of all human knowledge being a for-profit venture owned by a founder and his investors is wrong.