Earlier quoted context omitted.
Jai? Jonathan Blow’s new programming language might be an option for you. https://inductive.no/jai/
Jai doesn't do very much in terms of memory safety, Zig [1] might be a better alternative + it actually exists. 1 - https://github.com/ziglang/zig
Ask HN: What startup/technology is on your 'to watch' list?
541–550 of 700 posts
Re: Ask HN: What startup/technology is on your 'to watch' list?
#542Earlier quoted context omitted.
> Self-driving cars. Now that the hype is over and the fake-it-til-you-make-it crowd has tanked, there's progress. Slowly, the LIDARs get cheaper, the radars get more resolution, and the software improves. Still don't see fully (fully automated) self driving cars happening any time soon: 1) Heavy steel boxes running at high speed in built up areas will be the very last thing that we trust to robots. There are so many…
You could be right. My alternative possible timeline interpretation is that two forces collide and make self-driving inevitable. The first force is the insurance industry. It's really hard to argue that humans are more fallible than even today's self-driving setups, and at some point the underwriters will take note and start premium-blasting human drivers into the history books. The second force is the power of numbe…
If all the cars in the area know one of the cars is about to do something and can adjust accordingly then it will be so much safer than what we have now it is almost unimaginable.
It would seem at some point in the future, people are not going to even want to be on the road with a human driver who is not part of the network.
Re: Ask HN: What startup/technology is on your 'to watch' list?
#543Earlier quoted context omitted.
Ah, but you can't encode math except for in some necessarily geometric form.
Are you referring to written notation? Calling that geometry is a bit of a stretch. There's also nothing geometric about maths encoded in computer code, or many types of mathematical thoughts, so I think you are just incorrect.
Can you write without shape?
> There's also nothing geometric about maths encoded in computer code
Look at a computer chip under a microscope: nothing but geometry.
> or many types of mathematical thoughts
In re: math itself, perhaps there is such a thing as a mathematics of the formless (I doubt it but cannot rule it out) but to communicate it you are again reduced to some symbolic form.
> so I think you are just incorrect.
I've been thinking about this for a long time, and I'm still not 101% convinced, but I think it's true: you can't have information without form.
Check out "The Markable Mark" and "My Stroke of Insight". The act of distinction is the foundation of the whole of symbolic thought, and it is intrinsically a geometric act.
> ... what is to be found in these pages is a reworking of material from the book Laws of Form.
> Think of these pages, if you like, as a study in origination; where I am thinking of 'origin' not in the historical sense but as something more like the timeless grounding of one idea on or in another.
Distinction is a physiological thing the brain does. It can e.g. be "turned off" by physical damage to the brain:
https://www.ted.com/talks/jill_bolte_taylor_my_stroke_of_ins...
https://en.wikipedia.org/wiki/My_Stroke_of_Insight
> Dr. Jill Bolte Taylor ... tells of her experience in 1996 of having a stroke in her left hemisphere and how the human brain creates our perception of reality and includes tips about how Dr. Taylor rebuilt her own brain from the inside out.
So whether you come at it from the mystical realm of pure thought or the gooey realm of living brains all math is geometric. (As far as I can tell with my gooey brain.)
Cheers!
Re: Ask HN: What startup/technology is on your 'to watch' list?
#544Re: Ask HN: What startup/technology is on your 'to watch' list?
#545The general trend toward returning computing to the edge, which is just starting and has been accelerated due to COVID forcing BeyondCorp type practices on us. Cognitive radio, ultra wide spread spectrum, and other radio tech that promises great range and license free or minimal licensing operation due to lack of interference with other stuff. Rust is the first serious C/C++ replacement contender IMHO. RISC-V and oth…
> The general trend toward returning computing to the edge By "the edge", do you mean users' devices, or just more local data centers a la Cloudflare?
It's a trend in the earliest stages, sort of like cloud was in the early 2000s.
Re: Ask HN: What startup/technology is on your 'to watch' list?
#546Earlier quoted context omitted.
We are doing fine and V2 is coming soon with a ton of improvements. I just have to occasionally point out our existence again. The pulldown showing other devices on a network does look spiffy but that wont scale. We have users with thousands of devices on a virtual LAN and the protocol will scale far larger. Not only will that not fit in a menu but any system that relies on a master list will fall down. That list and…
Some feedback. I think I stumbled upon Zerotier a while back and didn't really get what it is. IIRC it felt like something that is only useful for big companies, exactly what I felt today. I think the website could do a better job showcasing how it's used. Hope my feedback is helpful and wish all the best!
It's kind of hard to explain ZeroTier sometimes. Its so simple (to the user) people have a hard time getting it.
"You just make a network and connect stuff." Huh?
People have been conditioned to think networking is hard because 90% of networking software is crap.
Re: Ask HN: What startup/technology is on your 'to watch' list?
#547Re: Ask HN: What startup/technology is on your 'to watch' list?
#548Earlier quoted context omitted.
Can't help but laugh whenever I read about self driving cars predictions like this sorry. My GPS can hardly navigate most of the world I'm not really excited and if the only criteria of self driving car is self driving on a high way then color me uninterested. I don't think self driving cars will be able to traverse majority of the world's traffic anytime soon. The road is just too difficult to maintain for human fre…
Self driving cars don’t need to be 100% autonomous in all possible scenarios in order to be useful. Self-driving reliably on the highway? Hell yes I’d take that (just think of trucks - having a driver to the highway is so much cheaper than having someone drive it cross-country). Self driving reliably in a few major cities? Oh, you mean cheap robotic taxi?
https://medium.com/ghost-blog/the-long-ignored-most-obvious-...
https://medium.com/ghost-blog/the-future-of-transportation-i...
Re: Ask HN: What startup/technology is on your 'to watch' list?
#549Earlier quoted context omitted.
Jai doesn't do very much in terms of memory safety, Zig [1] might be a better alternative + it actually exists. 1 - https://github.com/ziglang/zig
What does Zig offers regarding memory safety? Isn't pointer manipulation as unsafe as C in Zig?
1 - https://andrewkelley.me/post/unsafe-zig-safer-than-unsafe-ru...
Re: Ask HN: What startup/technology is on your 'to watch' list?
#550Basically, 1) bringing down the cost of CNC machined parts down to their marginal cost through automation, 2) reducing that marginal cost through higher machine utilisation rates, and 3) reducing turn around times and accuracy of parts to clients.