fallingmeat

12 ms·

91.
Not Machine Learning (2020)(capitalone.com)
1 points by fallingmeat 4y ago|0 comments
92.
Make MBSE More Accessible(linkedin.com)
1 points by fallingmeat 4y ago|0 comments
93.
Addressing the MBSE Accessibility Problem(linkedin.com)
1 points by fallingmeat 4y ago|0 comments
94.
by fallingmeat 4y ago
Does this use tactics to identify contradictions, tautologies, subsumptions, etc in conditions? How does this work?
95.
by fallingmeat 4y ago
Formal methods has a lot of practical application but the tools and techniques are very inaccessible to the average SME. We need better tools. For example, here is a demo of how to use an SMT solver to write better system requirements: htt
96.
by fallingmeat 4y ago
Good morning all, creator here- I made this demo for you to explore a requirements engineering technique. Defects in the requirements engineering process have outsized cost in the overall product development cycle, especially in safety crit
97.
Show HN: Using formal methods to write better requirements(mango-slra1-ckwssph7iq-ue.a.run.app)
6 points by fallingmeat 4y ago|3 comments
98.
by fallingmeat 4y ago
Another use case: verifying natural language requirements. As an example: http://slra1.baselines.cloud
99.
by fallingmeat 4y ago
Anyone know if Activity diagrams can be made in this way? (Note activity diagrams are not exactly flow charts, they have some rules)
100.
by fallingmeat 5y ago
well said
101.
by fallingmeat 5y ago
They both support discoverability in different ways
102.
Boeing invests $450M into electric autonomous air taxi(wisk.aero)
2 points by fallingmeat 5y ago|0 comments
103.
by fallingmeat 5y ago
"...they want you to look up so they can look down on you!" Best line from that movie
104.
by fallingmeat 5y ago
Another "popular" option is Yices: https://yices.csl.sri.com
105.
by fallingmeat 5y ago
Resurrections was like someone saying, “Hey remember that awesome movie we made in the 90’s? Yeah that was so great…” Axiom: You can only see The Matrix for the first time, once.
106.
by fallingmeat 5y ago
Wisk | High-Integrity Embedded Flight Software; Autonomy Path Planning, Perception and Flight Management Software | Remote | Full Time | https://wisk.aero/careers We’re looking for a senior engineer to focus on the flight m
107.
by fallingmeat 5y ago
Interesting they seem to ad-hoc the lifecycle processes, or at least no mention of any industry standards mandatory (RTCA/DO-178C, ISO26262 or even sys eng like SAE ARP4754, etc). Also, no talk of formal methods (formal modeling or for
108.
by fallingmeat 5y ago
That has to be one of the more civil examples of online discourse I’ve ever seen.
109.
by fallingmeat 5y ago
where is nhtsa? why are they still allowed to test this on public roadways with consumers operating it?
110.
Larry Page backed Wisk Aero sues Archer Aviation(nytimes.com)
2 points by fallingmeat 6y ago|0 comments
111.
by fallingmeat 6y ago
First hires should be people with strong SAE-ARP4754A and SAE-ARP4761 experience. Get your safety assessment correct first. Understand how to build a FADEC function with appropriate development assurance and hardware reliability. Then build
112.
by fallingmeat 6y ago
You may know this, but your motor will likely (should) be certified separately from the aircraft.
113.
by fallingmeat 6y ago
@jjsylvestre - what are your thoughts on ZeroAvia?
114.
by fallingmeat 6y ago
A better guitar interface. Made it for me and it just kinda took off. Turns out not too many better options at this price. https://www.amazon.com/dp/B08KQJF1F4/
115.
Satellite Offices: The Next Silicon Valley Employee Perk(linkedin.com)
1 points by fallingmeat 6y ago|0 comments
116.
by fallingmeat 6y ago
clever
117.
by fallingmeat 6y ago
can we partner? effintone.com
118.
by fallingmeat 6y ago
effintone.com
119.
by fallingmeat 6y ago
This works with the opening song, or not at all!!!
120.
by fallingmeat 6y ago
Nope, that's not gonna fit. for sure.

More ›