issues
search
dhh1128
/
intent
the intent formal language
https://intentlang.org
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
provide clean, one-line impl of pattern that checks dict and then inserts
#89
dhh1128
opened
9 years ago
0
Figure out what subset of security properties can be made compositional, and then enforced/proved by compiler
#88
dhh1128
opened
9 years ago
0
Support negation in interfaces and behavioral profiles
#87
dhh1128
opened
9 years ago
0
Need a higher-level construct than "interface" ("behavioral profile"? "habit"? "goal"?)
#86
dhh1128
opened
9 years ago
0
build code reviews into coding process
#85
dhh1128
opened
9 years ago
0
implement static code analysis and symbolic execution
#84
dhh1128
opened
9 years ago
1
Provide something like SecCompBPF where thread declares need for limited resources beyond this point
#83
dhh1128
opened
9 years ago
0
In actor messaging, use nonces to obviate replay attacks
#82
dhh1128
opened
9 years ago
0
in http server and client layers, implement new security headers
#81
dhh1128
opened
9 years ago
0
implement fault injection and other fuzz testing techniques in core testing engine
#80
dhh1128
opened
9 years ago
0
figure out how to drive defect density down in intent
#79
dhh1128
opened
9 years ago
0
provide an online compiler
#78
dhh1128
opened
9 years ago
0
Point to site of syntax errors like clang does
#77
dhh1128
opened
9 years ago
0
limit amount of libc that's linked
#76
dhh1128
opened
9 years ago
0
implement executable space protection
#75
dhh1128
opened
9 years ago
0
implement ASLR
#74
dhh1128
opened
9 years ago
0
implement stack canaries
#73
dhh1128
opened
9 years ago
0
consider implementing JIF-style information flow for security
#72
dhh1128
opened
9 years ago
0
consider implementing full maven build lifecycle
#71
dhh1128
opened
9 years ago
0
support a mark that says a particular param is "secret"
#70
dhh1128
opened
9 years ago
1
implement lessons from Java's "click-to-play" miss
#69
dhh1128
opened
9 years ago
0
consider modeling some syntax and behaviors on the E programming language
#68
dhh1128
opened
9 years ago
0
integrate security into design of functions and classes as coder works
#67
dhh1128
opened
9 years ago
0
Vett all compiler warnings against the standards described in phishing warnings study
#66
dhh1128
opened
9 years ago
0
Implement optimized switch
#65
dhh1128
opened
9 years ago
0
make sure warnings or errors explain the risk and how to remediate
#64
dhh1128
opened
9 years ago
1
Provide a way to shrink repetitive, verbose code where generics aren't enough
#63
dhh1128
opened
9 years ago
2
provide sophisticated error declaration/mgmt capabilities
#62
dhh1128
opened
9 years ago
0
Evaluate usability of various aspects of intent
#61
dhh1128
opened
9 years ago
3
eliminate needless duplication in templates
#60
dhh1128
opened
9 years ago
0
allow iteration over the properties of a struct at compile time
#59
dhh1128
opened
9 years ago
0
allow aliases to rename members of generic
#58
dhh1128
opened
9 years ago
0
Support infix notation on params and args to a verb
#57
dhh1128
opened
9 years ago
0
support elision of param names when data type is enough
#56
dhh1128
opened
9 years ago
0
Make sure all the "negative space" aspects of design are communicable in intent
#55
dhh1128
opened
9 years ago
1
In templates, provide a way to rename parameters
#54
dhh1128
closed
9 years ago
1
Design type system more carefully
#53
dhh1128
opened
9 years ago
0
Test for succintness
#52
dhh1128
opened
9 years ago
0
review C++11 generalized attributes paper for influence on the design of marks
#51
dhh1128
opened
9 years ago
0
do we need 2-phase lookup of templates/generics?
#50
dhh1128
opened
9 years ago
0
solve deadlocks potential and OOP problems with scala actors
#49
dhh1128
opened
9 years ago
0
support both thread-based and event-based actors
#48
dhh1128
opened
9 years ago
0
support type inference
#47
dhh1128
opened
9 years ago
0
look into hot-swappable code
#46
dhh1128
opened
9 years ago
0
Implement text fetch for contributors to code and for licenses for used code
#45
dhh1128
opened
10 years ago
0
Implement version and build numbers
#44
dhh1128
opened
10 years ago
0
implement circuit breakers
#43
dhh1128
opened
10 years ago
0
force i (compiler) to run in least privileged mode
#42
dhh1128
opened
10 years ago
0
rultor commands
#41
dhh1128
opened
10 years ago
1
find FOSS poster-child project to implement in intent
#40
dhh1128
opened
10 years ago
1
Previous
Next