skysight-inc/HackerNews huggingface dataset:
Better link: https://velodynelidar.com/press-release/velodyne-lidar-intro... states "60-degree horizontal FoV x 10-degree vertical FoV" I wonder whats the resoltion though. Judging by the name "velabit" it could be low.
#1 - I don't eat meat.

#2 - I don't drink milk.

#3 - I don't drink alcohol.

#4 - I bike to work.

via negativa!
> Even most (not all, but almost none for meaningful applications) computer program cannot be proved to come to an halt

That is not true. If you can demonstrate that every loop or recursion is bounded, then the program must halt as a necessity. Loops of the form for (i = 0; i < N; i++) are trivially bounded, unless you're resetting i in the loop. If you have containers that are not being modified in the loop, the finiteness of your data structures is usually sufficient to form the lemma that the loop will terminate.

Recursive datastructures (such as cyclic graphs) are much more challenging to prove, and most challenging are fixed point algorithms (do { } while (changed);), as will be noted by them frequently being the causes of actual infinite loops in my experience. But if you had mandatory annotations to declare lemmas for termination, it is doable. With that feature, a programming environment that forbade you from writing code that couldn't be proven to terminate is probably sufficiently feasible to allow you to write large, complex applications.
I was shocked to learn that wikipedia deletes its history in some cases. I always told students to quote the history items when quoting wikipedia believing they are archived. It stresses the importance of the internet archive for any scientific work.
If I tell you to go jump a bridge, is bridge jumping the default?
Especially since we live in an oligarchy but everyone still thinks in terms of red vs blue or us vs them. It is quite the trick to misdirect blame to people who are just like you.
Years ago, back when I had a cube with my own personal white board at work, I covered it in 80 rows each containing 12 boxes each, with the boxes in the first 32 or 33 rows all crossed out. Every month, I'd cross another one out.

It was quite a conversation starter.
Aww, the first thing that came to mind for me was pkill -9 vim,
which sadly isn't on the list!
Related:

A vi editor quick-start tutorial:

https://gumroad.com/l/vi_quick .

I am the author (user vram22 on HN), posting from another phone, with a throwaway user name.

I first wrote this tutorial for two Windows sysadmin friends who had to handle some Unix servers. They told me it helped them to learn vi basics and so use Unix more easily.
That is just the best of larks!

Love it when that kind of discovery learning happens. Makes me feel excited about the fact that so much is still new to us, as people with our limited time and experience.

NTSC is a lot of fun to hack. I did a lot of projects similar to this one as a kid.

Basically tried artifact color on many machines.

The Tandy Color Computer 3 has a 640x200'ish mode with 4 colors. That one boils down to one byte per pixel, using composite video input.

Also, the CPU is a 6809! So much byte per pixel fun.

All this because of how NTSC works.

PAL, by the way, can be abused vertically to get additional colors. That can be seen in many Demoscene art productions.
I learned about him talking to a Spanish plumber while eating a bocadillo.
There's a really good pro Age of Empires II battle where one of the players played this exact strategy. If you like strategy games you would enjoy the similarities. https://www.youtube.com/watch?v=6spfnJMdd-k
The American economy captured the American government in part, at least, due to the booming defense industry in the post-war era. (Not to mention becoming the world’s banker in the same era.)

So maybe it’s good Canada never really got lift-off in that way.

Also this story reminds me of the F-22 story
I grew up in southern Utah and did a lot of hiking. I would recommend Zion National Park if you're looking for something in Utah.

https://duckduckgo.com/?q=zions+national+park&iax=images&ia=...
Financial Plan
mine too! i also sometimes use lyx when i need to do things quickly!
Here in London Uber has been showing a flexible price range for as long as I remember and people don't seem reluctant to use them.

If it shows £15-£18 I just assume the higher end, it's not like I don't know the price ceiling and get hit with unexpected charges
Do you think you will add nullability / optionals into the the type system along with ADT types? (Think swift enum's with associated types). I think structurally they are fairly simple, but very powerful.
Greenpeace won. They killed millions by denying access to GMO rice and they will make the planet more polluted too
Also, memory alignment isn't an entirely foreign concept to Lisp, it just rarely has been a focus. The long living irony that the etymology of the names of very common Lisp functions `car` and `cdr` themselves are a lingering artifact of 36-bit word memory alignment on an ancient IBM system architecture.
C-a is the worst default keybinding ever, since like, going to the beginning of a line is one of the most common operations.
Please note that the buzzword "Perl 6" has been replaced by Raku (https://raku.org using the #rakulang tag on social media). And that you can drop the "5" from the "Perl" buzzword :-)
Inspired by the behavior of bees and the Seeley's Honeybee Democracy book, I created and gave a talk, titled Extreme Cooperation of Superorganisms - Four Lessons Humans Can Learn from Bees: https://slides.com/petermoskovits/superorganism/
At a publicly traded company, RSUs are definitely not worth $0 and shouldn't be treated as such. I agree you shouldn't base their value at some arbitrary inflated number and should live within your means, but if you truly think RSUs are worth $0, then you also think the company is going to go under (or you get fired) before they vest.

I typically value them at some percentage of the current value of the stock (less than 100%) depending on the company. For most signing bonus RSUs you're getting some of them after a year anyways. That's not a long time to wait, so risk/opportunity cost is low.

At a startup or some privately traded company, yeah sure. Their value is effectively $0.
Strings in Rust are the first time I ever got confused about what a String was. It might be sensible, but it's not easy.
WASM is the new ActiveX. People were warned
Open issue #46 deals with power cords, and thus: no.
> "... Glass..."

Oof, that brings back a couple of unfond memories of cracked displays in the early ebook reader era. Hope they are able to develop a plastic substrate version.
"... and ever-growing RISC-V instruction set."

RISC: "Reduced instruction set computer"

?
Where to from here? Strategy bets for 2020
This looks like it has all the missing performance oriented features I wish I had while I was developing the engine of my game[0] using C#. I will definitely try it out for my next game/prototype!

[0] https://store.steampowered.com/app/1009960/Project_Hedra/
In the advisory, Mozilla states it was being used as part of targeted attacks. Qihoo 360 ATA is credited with discovering the vulnerability and the in-the-wild exploitation of the flaw. Catalin Cimpanu says Qihoo 360 deleted a tweet connecting this bug to an undisclosed Internet Explorer zero-day [1] so it remains to be seen if there is another bug out there that remains unpatched. Mozilla also patched a pair of vulnerabilities that were used in targeted attacks last year [2]

[1] https://twitter.com/campuscodi/status/1215020566656299011

[2] https://www.tenable.com/blog/cve-2019-11707-cve-2019-11708-m...
Such a refreshing opinion on ideas!

Its hard for a lot of people to look past their selfish motivations of being the creator.

But at the end of the day, if you don't have time but want it to be made... Why not share it!
What about moving to the beginning of a line?
Essentially Annihilated
Check out this tool created by MIT to see how big of an impact nuclear power has on CO2 emissions. https://en-roads.climateinteractive.org/scenario.html?v=2.7.... (hint, it ain't much).

The enthusiasm behind nuclear as a climate solution seems pretty misplaced. With heavy subsidies, it can play a tiny tiny tiny role in solving the problem.
You can run GUI apps from docker?
I love this idea for CMS related content and layout. I question the overloading of the 'Canvas' tag but love that you've spent time grooming the projects structure and documentation. The best possible starting blocks to push off from for onboarding trust and quality from developers looking to including such a library.

Nice work mate.
Doubtful. Just look at computer science. How many people actually grasp what the computer is doing at the lowest level? Relatively few compared to the number of developers there are.

Abstractions are the key.
Is something an "option" if it can never be implemented? The incentives for a nation to have a nuclear arsenal seem extremely high.
> white researcher lady

How do you know she was white?
Travels in the New Psychedelic Bazaar
My understanding of electronic paper displays is almost entirely founded in the great Applied Science[0] video about it.

I have to assume that the way that a full color electronic paper display is done would be vastly different than the method that the 3 color displays work. Anyone have any insight into this?

[0] https://www.youtube.com/watch?v=MsbiO8EAsGw
For suicide prevention, try raising the minimum wage, research suggests
I'd heard of it. I was an aviation nerd as a kid and saw programs about it and the XB-70 Valkyrie, a promising US bomber cancelled for similar reasons (missile technology shifting the Cold War away from manned aircraft as primary nuclear defense/offense) on the Discovery Channel.

Avro Canada also developed the Avrocar, an experimental, literal flying saucer powered by a single turbofan in the middle. Cold War aviation was NUTS.
> "13.3” ACeP display is suitable for various applications, e.g. Artwork, Signage, Retail, etc…"

These various applications sound like static images without fast refresh requirements. I wonder what the refresh rate is like on these.

I'm still waiting with bated breath for a reliable e-ink computer monitor comes out with a decent refresh rate. I'd even be happy with just greyscale.
Might have been to accomplish PAL color blending.

PAL uses the color info from a prior scan line in addition to the color info on the current scan line to establish a given pixel color.

If one is clever about changing pixel colors in a way synchronized with the display, more than 16 colors will be seen.

The C64 only has 16 colors. Fixed colors.

Abusing TV was, and can still be, interesting.

On the older machines, a gain of new colors was a big deal.

In this case, it still is a big deal, given how craptastic the CGA is.
We know that life is evolvable because life exists and we know the biochemical mechanisms involved (DNA + cellular biochemistry).

Evolution implies a relatively smooth path through "DNA space" from, say for example, an early single cell eukaryote to a mushroom.
However the search space is enormous. Even if we account for billions of years of evolution and a trillions of evolutionary experiments each year, a simple random walk with selection through DNA space should go nowhere because of the numbers involved. The curse of dimensionality[0] means there has to be some other principle of nature to make the search space yield a path from one viable life form to another. The search space of life would have to be 'smooth' in some sense. That 'smoothness' is something we don't understand.

If DNA space is just 256 bits (as a dramatic simplification), then 2^256 is a very very big space to search just by chance [1].
Now imagine a space orders of magnitude bigger.

[0] https://en.wikipedia.org/wiki/Curse_of_dimensionality

[1] https://youtu.be/S9JGmA5_unY?t=22 (3Blue1Browns wonderful illustration of how large 2^256 is)
Looks like fun! Perhaps another thing to add to my box of barely used devkits. I've clicked through their site but I'm not seeing a real data sheet or any information about the gamut etc. Did I just miss it?
Oh, I thought it was just 32 contiguous bytes fished from the stack.
No joke intended. From reading the article, where cmake and scons are criticized, my impression was that many of OPs concerns could be addressed by using something more fundamentally sound like bazel.
Site isn’t loading for me. Am I the only one?
May I ask something that could be rude, how have you been paying the bills if you have been working on a language full time for the last 5 years?
lol

took me a while to get it
The project I built and mentioned in the article, Metastream [1], is used to sync videos across browsers. It now lives as a browser extension and I'm able to track which web domains are most commonly used by the app.

Based on the usage statistics for the past month (28,711 samples), these are some commonly used media websites:

1. www.youtube.com (69%)

2. www.netflix.com (5%)

3. www.crunchyroll.com (2.5%)

4. www.hulu.com (0.8%)

5. www.funimation.com (0.3%)

6. www.disneyplus.com (0.3%)

7. other (22.1%)

The app is heavily skewed towards anime which already has a problem with piracy. That said, we can at least see that approx. 9% of traffic in my app is for DRM-enabled media.

Personally, I don't think the usage statistics of DRM media matters much. It shouldn't be a requirement to consume any content on the web to begin with.

[1] https://github.com/samuelmaddock/metastream
I was just looking to see if there were any decent ereaders that could handle research papers in PDF format. I couldn't find anything but I guess there's hope for one in the future.
The fifth book of Colleen McCullough's "Master of Rome" series covers the battle [0].

[0] https://en.wikipedia.org/wiki/Caesar_(McCullough_novel)
Looks like it may be coming soon:
"The new printing process alleviates the need for a glass-based CFA"
https://www.businesswire.com/news/home/20200107005530/en/
Even fewer Canadians understand why the U.S. didn't trust Canada with such an able aircraft. It's destruction was, sadly, the right choice.
I think any one of the ideas in the ten chapters so far are probably largely "accepted" (or sometimes controversial, such as simplifying a person's thought process to Primitive vs Higher-minded.) But I think trying to put the pieces together is harder.

People are quick to say "polarization happened because..." or "people hate the opposite political party because..." or "people only read news they agree with because..." and each of the pieces might be useful but I think seeing how those pieces are fitting together and compounding is also useful.
I built something similar called "wage clock" that ran in the system tray. The killer feature was you could set sub timers for things like going for coffee or to the bathroom. All of us 20-somethings in our first real job loved it and it was a big reason i quit my big corporate sales job and returned to school to study comp sci.

I too now think it's unhealthy to equate time so directly with rewards, but overall i have fonder memories than you i think...
I strongly second this recommendation! These books are incredibly detailed and fun to read.

Another comment mentioned I, Claudius, which is also excellent.
a few from product hunt product i occasionally look at that are fun:

http://problemoftheday.co/

https://ideasareworthless.io/
The problem is latency, not throughput. Memories do have the bandwidth to keep the processor caches full, but they can not handle random access.

Anyway, you increase throughput by just adding more hardware. That's easy and widely done.
Per below vid, it looks like refresh rate is ~25 seconds. Doubt you'll be able to use it for a monitor anytime soon.

https://www.youtube.com/watch?v=tVANwwXtHEI
> It seems to be more about disputing that the party is in fact democratic. Among other things, the superdelegates make this clear. It's also the matter of the party making a name-grab for democracy itself, which is a more valuable trademark than anything associated with the republic.

Yes, I'm sure the pejorative use by Republicans of the term that Democrats use to refer to themselves is rooted in Republicans' sincere concern with the structure of the DNC's primary. That must be it.

> burfog 19 hours ago | parent | flag | favorite | on: Iran attack: US airbases in Iraq hit by ballistic ...

> Democrat voters may oppose war, but the same can not be said for democrat politicians.

https://news.ycombinator.com/item?id=21987859

Lol, come on man.
There are cross-site video search engines. Even Google, Bing, DDG, etc have a "video" tab in the search results.

I don't know how decentralized recommendations would work beyond a simple keyword search. They're kinda subjective, so I think that's easier to do with people making curated lists instead of something automated.
If NetFPGA gives you access to the PCI bus, it should be possible to make it into a NIC.

Simple matter of some verilog and a linux driver. ;-)

Of course, we also have non-FPGA Smart NICs from the likes of Netronome, etc. which can do things like accelerate EBPF or run P4.
How far is that? What about Cython?
Any references as to why they didn’t ?
I want E Ink monitor for programming. It so much easier on the eyes (even if refresh rate is horrible)
Faktory Enterprise
I got an nginx error after a long wait, I think it is being hugged to death.

Here's an archive.org link: http://web.archive.org/web/20200108221349/https://shopkits.e...
link to one of those kind of videos?
I got curious about the largest evacuations in history and a cursory google search says that the largest sea evacuation took place in NYC during 9/11, when 500,000 were ferried out of the city, beating Dunkirk in WWII (319k).

So the prime minister of Japan was facing the possibility of an evacuation 100x this size. That is truly insane.
25 features in 25 days before Christmas – What did we learn?
> What I find an interesting design choice about Go’s approach (using ‘defer’) is that they are executed at the end of the function

It's quite a bad and bizarre design choice actually. It's strictly inferior to the other alternative.

Zig took the correct approach with its 'defer' and 'errdefer' constructs, fixing the two flaws with golang's implementation.
> "I'm still waiting with bated breath for a reliable e-ink computer monitor comes out with a decent refresh rate. I'd even be happy with just greyscale."

Dasung's current generation grayscale e-ink monitor comes pretty close, IMO. It even does adequate video playback: https://youtu.be/vnUACe8Bsyg?t=27
I don't know if anyone is really working on this, the "killer feature" of eInk is that the display only draws power when it's refreshing. You can drive them much faster, iirc there have been several proof of concepts using extant consumer screens going at 60Hz, so it's totally possible. I just don't think there's much market for it and I bet it stresses the tech in weird ways to run it that fast. Definitely possible though.
RISC-V is extensible and keeps developing new official extensions that add more and more instructions. The RISC-V baseline doesn't even have integer multiply or divide!
You can run it in a separate vnc session as well to get isolation from X11, but that's a PITA.
Cached in Archive.org: https://web.archive.org/web/20200108221349/https://shopkits....
Have you looked at the reMarkable tablet?

https://remarkable.com/

Great for reading PDFs as they're displayed at about real size.
You can run GUI apps across a network, so why not?
Archive.org: https://web.archive.org/web/20200108221349/https://shopkits....
Ask HN: Ever used a crypto trading bot? Opinions?
Especially interested in subscribtion based platforms for bots, because I'm building something like this. I'm sure many will say that if an algorithm makes profits there is no point in sharing it. But if algorith is primarily made to save time and avoid losses, it's perfectly sensible to sell it to the world.

Anyways, what are your experiences?

P.S. I've made a crypto bot flowchart for those interested but undecided :)
https://twitter.com/acai_ai/status/1215010669877252097
Don't we already know the magic number is $5?
There are nullables (like C# nullables), same syntax: "int? a = null;". There's also algebraic data types like Swift's enum. Quite a lot like Swift's enum, actually. See bottom example in enum section: https://www.beeflang.org/docs/language-guide/datatypes/#enum...
After All Is Said and Done, Is “The Last Jedi” the Best “Star Wars” Ever?
Glowing Facebook Story Pulled from Teen Vogue Following Serious WTFs
i think the ReMarkable might be of interest
When you say

> “I’d love to cooperate and talk with you, and I need a lawyer to do that”

And the cop says

> “why do you need a lawyer so bad?”

What is one supposed to say?
Could you please stop posting unsubstantive comments and flamebait? We're trying for a bit higher quality level than internet median. If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking that spirit more to heart, we'd really appreciate it.
Beyond the excuse to be a useful "dogfood project" of the language, was there any other intentional reason to focus on a custom IDE rather than the Language Server Protocol and multi-IDE support?

https://langserver.org/
This article was highly disappointing to read. No mention of how Conservatism is effectively dead in the US (Donald “Bibi” Trump is basically a Democrat). No discussion of Federal Reserve and how it’s contributing to inflation. The author also seems to be a textbook narcissist given his overreaction to being told to shut his phone off on a plane. The only thing “Giant” about this article is this dude’s ego.
Do you mean double-blind testing benefits snake-oil companies? If so, may you expound on that? To my understanding, double-blind tests are meant to avoid un/conscious bias during testing.
You can try covert a lot of them to 6' using k2pdfopt
Well, not with proper key bindings ;) (set -o vi)
I've messed around with this a bunch on some 9" hardware and custom waveforms to attempt to drive the display as hard as possible, it's almost certainly not what you want to be using, especially the color ones as they require multiple passes to actually attain the color. For my Color/Black/White panels that's normally rendering all the Black + Color as black, and then pulling the black pigment back as well to expose the Color one (red or yellow).

For the single color ones you can get sub-500ms latency for updating, at the cost of extreme ghosting. You need to do a lot of changes to the way you think about graphics to make this a reality. Think of an IRC program for example, normally every one of them scrolls up text from the bottom but this is completely a worst case solution for e-ink. To make it work you have to fill half the screen with text, then add new lines sequentially at the end and only scroll when you've run out of space. Additions can reasonably be done without a full refresh, scrolling text just causes it to mud out.
oh please don't bring blockchain into this and put a simple task/bounty website on a giant replicated public db.