RossBencina

38 ms·

631.
by RossBencina 7y ago
I'm not sure you want to tell the scheduler what to do. Probably you just want a real-time scheduler that you can depend on for real-time work. One approach is to use a real-time kernel underneath Linux. Bela does this with the Xenomai
632.
What Linux Journal's Resurrection Taught Me about the FOSS Community(linuxjournal.com)
66 points by RossBencina 7y ago|6 comments
633.
by RossBencina 8y ago
While I agree with other commenters that "Testing is like eating" and "No Silver Bullet", I think there is value in explicitly naming and discussing what happens when unit testing goes wrong. The linked article raises so
634.
Hints for Computer System Design (1983) [pdf](bwlampson.site)
81 points by RossBencina 8y ago|4 comments
635.
by RossBencina 8y ago
Rhino 3D looks to be similarly priced.
636.
by RossBencina 8y ago
> click the buy button and wait and hope for the best.. my advice just do it! Speaking from experience as a sw guy, the "hit buy and pray" approach should be preceded by as many desk-checks as are humanly possible. For example:
637.
by RossBencina 8y ago
I agree. I also would prefer not to use state machines if I wanted coroutines (i.e. algorithmic code with traditional control structures interspersed with coroutine yields). Ideally you need both.
638.
by RossBencina 8y ago
A side effect would do something external to the state machine, such as transmit something on the network, or perform disk i/o. Or it might emit an event that is received by another concurrent state machine.
639.
by RossBencina 8y ago
In addition to state, coroutines can also have side effects. So you kinda need effectful, stateful "finite" state machines to get started.
640.
by RossBencina 8y ago
One thing that bugs me is this: The following are formally defined mathematical structures: - Moore Machine - Mealy Machine - Deterministic Finite Automata There are also (multiple) formal semantics for Harel State Charts. But th
641.
by RossBencina 8y ago
Equivalence is a symmetric relation. The article presents an example of a goroutine implementing an FSM. Even if you thought a single example constituted a proof, to show equivalence you'd also need to show how an arbitrary coroutine c
642.
by RossBencina 8y ago
Yes. C++ templates provide some subset of what you can do with dependent types in Idris.
643.
by RossBencina 8y ago
That's a really nice selection, you have great taste. I'd be interested to know whether you own any other books that you'd also recommend.
644.
TLSF: Memory allocator for real time embedded systems(gii.upv.es)
2 points by RossBencina 8y ago|1 comments
645.
by RossBencina 8y ago
I found the article to be an interesting chronological journey. It's worth a look just for the photos of the 1984 Mac production line, and 1990 NeXT production line. > It cites the lack of economic success It describes the lack of
646.
by RossBencina 8y ago
A closely allied idea to "never rewrite" is "you can always refactor shit into gold." For the first ten years after reading the Refactoring book I believed the second claim was true. Don't get me wrong, I think you
647.
by RossBencina 8y ago
> A (standard) unit vector... I know this as "an element of the standard basis," B = {e_1, e_2, ...), where e_1 = (1,0,0,...), e_2 = (0,1,0,0,...). You could view it as inauspicious that the treatment doesn't begin with ab
648.
CastAR Kickstarter Glasses Internals(youtube.com)
1 points by RossBencina 8y ago|0 comments
649.
by RossBencina 8y ago
I'm still learning mathematics (I don't think the learning phase ends). I used to worry about "reading" notation. I think what's changed is that I have gotten used to not understanding unfamiliar notation. And I rea
650.
by RossBencina 8y ago
Their definitions are distinct -- and at least at a surface level, quite different.[1] They have different abstract interfaces. From a practical point of view, if you're going to use them for programming, it's safe to say that the
651.
Raptor Announces “Blackbird” Micro-ATX, Low-Cost POWER9 Motherboard(phoronix.com)
11 points by RossBencina 8y ago|1 comments
652.
by RossBencina 8y ago
In addition to the ZipCPU itself, the zipcpu.com website has many useful blog posts for the beginning FPGA developer. I've found it to be a great resource. Mr Gisselquist (a.k.a. ZipCPU) is an active contributor to a number of FPGA for
653.
by RossBencina 8y ago
In addition to the services already mentioned in this thread, this might help: PCBShopper is a price comparison site that will take your board dimensions and other parameters and list the cheapest sources: https://pcbshopper.com&
654.
by RossBencina 8y ago
I'm not sure what qualifies as a NUC, but there are a few "high-end" ARM SoC boards with PCIe now. Here are a few in the $100-$300 price range: Rockchip RK3399 boards: NanoPC-T4, $109 2x A72@2GHz, 4xA53@1.5Ghz 4GB LPDDR3-1866
655.
by RossBencina 8y ago
Weird, there's something up with their Crowd Supply page. I saw the price there the other day (in the right hand panel that is currently empty): https://www.crowdsupply.com/sifive/hifive-unleashed The expansion bo
656.
by RossBencina 8y ago
Thanks for the summary. > Also the author asks for money at the end before they release it as open source. That raised my interest. It's not exactly what the author wrote though: >> I’d like to release the source code publicly
657.
by RossBencina 8y ago
The point of this article is "making everything ourselves." What you're describing only applies if the traditional manufacturer/sales channel/consumer paradigm is maintained. I'm proposing to think further outs
658.
by RossBencina 8y ago
> The cost of bringing a single electronic product to market is $50-100/unit. The solution to make the product cheaper is to offer monolithic functionality in a single unit Another solution is to reduce the baseline overhead.
659.
by RossBencina 8y ago
See also: William D. Clinger, "How to Read Floating Point Numbers Accurately," Proc. ACM SIGPLAN '90, pp. 92-101. pdf: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.45.... And David Gay's
660.
by RossBencina 8y ago
serpentza, ADVChina - expats vlogging China the way they see it Louis Rossmann - livestreams component-level MacBook board repairs, strangely compelling CppCon, BoostCon - the good, bad and ugly of C++ EEVblog - electronics engineering rant

More ›