nextos

29 ms·

1. 571.▲
   by nextos 2y ago

   Some simple imperative data structures, including simple operations to add, remove, test membership, etc. with formal guarantees.
2. 572.▲
   by nextos 2y ago

   I was recently in a similar situation, not concerning glioblastoma but a different type of solid tumor. I'd look into either neoantigen vaccine trials from reputable universities/companies (e.g. BioNTech) or T cell therapies (e.g.
3. 573.▲
   by nextos 2y ago

   Jolla is releasing a new official device: https://shop.jolla.com/details/91eb91d3-c3de-41d0-b3c0-7075a... A few Sony Xperia are officially supported, e.g. 10 III: https://docs.sailfishos.org/Support&#x2
4. 574.▲
   by nextos 2y ago

   I agree, I am also not interested in a system that replaces humans. I am interested in a system that automates the boring parts and makes SWE simpler and closer to classical engineering disciplines while keeping humans in the loop. That is,
5. 575.▲
   by nextos 2y ago

   No worries! The comment was fine, I was simply gone so I couldn't reply. TBH, I haven't written anything impressive, just toy examples that are formally verified. I imagine making it practical for larger systems would require a lo
6. 576.▲
   by nextos 2y ago

   It translates natural language into Isabelle/HOL specifications, and then tries to fill these up to prove things. One can then use Isabelle code generation facilities to extract Scala, OCaml, etc. I think the trick is to have a program
7. 577.▲
   by nextos 2y ago

   We are slowly getting there, SE is just a bit over 50 years old. For example, Dafny (by MSR) is relatively easy to use and scales nicely to build systems of 20-30 KLOC with some formal guarantees. It's a nice imperative language where
8. 578.▲
   by nextos 2y ago

   I agree, but Google is not even remote WFH, they are hybrid. This is ideal. You go to the office regularly to sync with people, but also make long uninterrupted bursts of focused work from your home.
9. 579.▲
   by nextos 2y ago

   Lots of great startups have remote teams so this argument by Schmidt is pretty weak. Google is hybrid, not even remote. Also, I don't think that well motivated and engineers work or produce less while WFH. It could be the opposite. Les
10. 580.▲
    by nextos 2y ago

    Some options: * Move to a frontend job that is less chaotic. RoR jobs are relatively easy to find and some codebases are quite tidy. Plus, the framework moves slowly and there is little JS. * Move to a backend job that uses an interesting t
11. 581.▲
    by nextos 2y ago

    I think for a FOSS user 2 options are worth considering. Option 1, get a Pixel, wipe it up and install GrapheneOS. Then try to live on applications from the F-Droid ecosystem. If a Pixel is too expensive, look into ROMs that support other d
12. 582.▲
    by nextos 2y ago

    Japan has nice brand new houses with decent quality control. In the UK, brand new houses tend to have terrifying issues. See this article for instance: https://www.theguardian.com/lifeandstyle/2023/oct/21&#x
13. 583.▲
    by nextos 2y ago

    Gnus is not too far from that if someone maps HN to NNTP. I think there are some HN to NNTP bridges available.
14. 584.▲
    by nextos 2y ago

    Housing has a quality issue in most countries, so the way houses are built is definitely problematic.
15. 585.▲
    by nextos 2y ago

    That sucks. Personally, this is why I want to see prefabs take off, even if the price is actually more expensive. When you buy a car, it is quite rare to find major defects. In houses, defect lists are so common that Brits have a term for i
16. 586.▲
    by nextos 2y ago

    Boyd has published a related book which is a bit more elementary but still great: https://web.stanford.edu/~boyd/vmls/
17. 587.▲
    by nextos 2y ago

    Obviously it's not perfect indicator, but if a company lacks standard procedures it is a probable sign of mismanagement or lack of management. Maybe it is still nice to work there, but it will slowly fall apart.
18. 588.▲
    by nextos 2y ago

    It's extremely unprofessional they don't send generic rejections using some applicant tracking system. IMHO, organizations that behave like this tend to be dysfunctional. I am sure they are also more likely to ignore customer comp
19. 589.▲
    by nextos 2y ago

    There's a whole research area that tries to combine some ideas from symbolic AI with neural architectures. IMHO, this might eventually become mainstream. For example, see all the work that merges theorem provers with RL and NN.
20. 590.▲
    by nextos 2y ago

    Thanks, I know, I posted that thread :)
21. 591.▲
    by nextos 2y ago

    Me too. I posted this blog, despite I prefer Linux, as I found it intriguing.
22. 592.▲
    by nextos 2y ago

    Travel is one use case. I loved the form factor of MBA 11 for ssh and local use of Mutt. I've been keeping an eye on MNT Pocket as a substitute. Reviews look great. The MBA 11 was nice because it fitted in an airplane tray really well.
23. 593.▲
    My favorite device is a Chromebook(kokada.capivaras.dev)

    99 points by nextos 2y ago|105 comments
24. 594.▲
    by nextos 2y ago

    Or their internal fights / incentives to release new things instead of maintaining them. The chat mess with Google Talk, Hangouts, Meet, Duo, etc. was quite sad to watch because Talk was a great product.
25. 595.▲
    by nextos 2y ago

    Thanks, I know ILP quite well and also your research, Muggleton et al, etc. It is a very interesting field which I hope makes a comeback once systems become neurosymbolic.
26. 596.▲
    by nextos 2y ago

    Skim through this survey: https://ceur-ws.org/Vol-3386/paper9.pdf Basically, most of the system is read-only and updates/rollbacks are atomic. This approach means classical distributions can enjoy some of the adva
27. 597.▲
    by nextos 2y ago

    There are quite a few publications that explore the concept of generating programs, either using typed or untyped functional languages. For example, wake-sleep learning and NN on a Lisp-like language [1] or synthesis of Haskell guided by re
28. 598.▲
    by nextos 2y ago

    I miss them so much. Even the N9, which lacked a physical keyboard, was so nice. A planned N9 variant with a sliding keyboard was never released once the series was discontinued. It was so refreshing to have a mobile that acted as a regular
29. 599.▲
    by nextos 2y ago

    Unpasteurized milk is mainstream in EU, where food safety is a big priority. You can find lots of hard and even soft cheeses made using raw milk in regular supermarkets. It's nothing fringe. The key is to monitor every batch for diff
30. 600.▲
    by nextos 2y ago

    In my house we have 3 Macs: A MacBook (2007), a MacBook Pro (2009, the first unibody model) and a MacBook Air 11 (late 2012). The only hardware failure in all this time came from the MBA. The SSD got loose, but it was easy to fix. All of th